<?xml version="1.0"?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN" "http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:m="http://www.w3.org/1998/Math/MathML">
<head>
<OBJECT ID="mathplayer" CLASSID="clsid:32F66A20-7614-11D4-BD11-00104BD3F987"> <!--comment required to prevent this becoming an empty tag--></OBJECT>
<?IMPORT NAMESPACE="m" IMPLEMENTATION="#mathplayer" ?>
<!--
 <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=MML_HTMLorMML" />
-->
<script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
<script id="MathJax-script" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>


<meta name="GENERATOR" content="TtM 3.72" />
 <style type="text/css">
 div.p { margin-top: 7pt; }
 span.roman {font-family: serif; font-style: normal; font-weight: normal;} 
</style>
<title>GR.II.4.29</title>
<link rel="stylesheet" href="/mathdisplay.css" type="text/css" />
</head>
<body>
<div class="feladat">
<b>Feladat: 4.29.</b><br /> <a name="k_ii_090819sl_szimmetria02" /><a href="bib_box.php?mode=sne-s-j-&amp;citation_num=" target="bib_box" onclick="mutat('bib_box.php?mode=sne-s-j-&amp;citation_num='); return false;"></a>Azt vizsgáljuk, hogy milyen <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi></m:mrow></m:math>-ekre van olyan <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi></m:mrow></m:math> pontú egyszerű gráf, amely izomorf saját komplementerével.

<div class="p"><!----></div>

a) Döntsük el a kérdést az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>1</m:mn><m:mo>,</m:mo><m:mn>2</m:mn><m:mo>,</m:mo><m:mn>3</m:mn><m:mo>,</m:mo><m:mn>4</m:mn><m:mo>,</m:mo><m:mn>5</m:mn><m:mo>,</m:mo><m:mn>6</m:mn><m:mo>,</m:mo><m:mn>7</m:mn></m:mrow></m:math> esetekben!

<div class="p"><!----></div>

b) Döntsük el a kérdést <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>8</m:mn><m:mo>,</m:mo><m:mn>9</m:mn></m:mrow></m:math> esetben!
<br />&nbsp;<br /></div>
<div class="feladat">
<a name="_solution_k_ii_090819sl_szimmetria02" /><b>Megoldás: 4.29</b><br />
a) <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>1</m:mn></m:mrow></m:math>-re az egypontú gráf üres, tehát izomorf a komplementerével.

<div class="p"><!----></div>

<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>2</m:mn></m:mrow></m:math>-re vagy a gráf vagy a komplementere üres, a másik nem, tehát nincs ilyen gráf.

<div class="p"><!----></div>

<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>3</m:mn></m:mrow></m:math> esetén a teljes gráfnak három éle van, így nem tudjuk őket két egyforma osztályba sorolni, márpedig egy gráf és a komplementere azonos élszámú, ha izomorf.

<div class="p"><!----></div>

<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>4</m:mn></m:mrow></m:math> esetén a három hosszú út izomorf a komplementerével.

<div class="p"><!----></div>

<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>5</m:mn></m:mrow></m:math> esetén az ötpontú kör izomorf a komplementerével.

<div class="p"><!----></div>

<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>6</m:mn></m:mrow></m:math> esetén a teljes gráfnak 15 éle van, ami páratlan, tehát ismét nem lehet ilyen gráf.

<div class="p"><!----></div>

<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>7</m:mn></m:mrow></m:math> esetén a teljes gráfnak 21 éle van, ami ismét páratlan.

<div class="p"><!----></div>

Az első hét szám közül csak <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>1</m:mn><m:mo>,</m:mo><m:mn>4</m:mn><m:mo>,</m:mo><m:mn>5</m:mn></m:mrow></m:math>-re van a komplementerével izomorf gráf.

<div class="p"><!----></div>

b) <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>8</m:mn></m:mrow></m:math> és <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>9</m:mn></m:mrow></m:math> esetében viszont van ilyen gráf. <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>8</m:mn></m:mrow></m:math>-ra legyen a gráf nyolc pontja <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>x</m:mi></m:mrow><m:mrow><m:mn>1</m:mn></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>x</m:mi></m:mrow><m:mrow><m:mn>2</m:mn></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>y</m:mi></m:mrow><m:mrow><m:mn>1</m:mn></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>y</m:mi></m:mrow><m:mrow><m:mn>2</m:mn></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>z</m:mi></m:mrow><m:mrow><m:mn>1</m:mn></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>z</m:mi></m:mrow><m:mrow><m:mn>2</m:mn></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>u</m:mi></m:mrow><m:mrow><m:mn>1</m:mn></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>u</m:mi></m:mrow><m:mrow><m:mn>2</m:mn></m:mrow>

</m:msub>

</m:mrow></m:math>. Húzzuk be a gráfba az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>x</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

<m:msub><m:mrow><m:mi>y</m:mi></m:mrow><m:mrow><m:mi>j</m:mi></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>y</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

<m:msub><m:mrow><m:mi>z</m:mi></m:mrow><m:mrow><m:mi>j</m:mi></m:mrow>

</m:msub>

<m:mo>,</m:mo>

<m:msub><m:mrow><m:mi>z</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

<m:msub><m:mrow><m:mi>u</m:mi></m:mrow><m:mrow><m:mi>j</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math> éleket (<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>i</m:mi><m:mo>,</m:mo><m:mi>j</m:mi><m:mo>=</m:mo><m:mn>1</m:mn><m:mo>,</m:mo><m:mn>2</m:mn></m:mrow></m:math>). Ez eddig 12 él. Ha behúzzuk még az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>x</m:mi></m:mrow><m:mrow><m:mn>1</m:mn></m:mrow>

</m:msub>

<m:msub><m:mrow><m:mi>x</m:mi></m:mrow><m:mrow><m:mn>2</m:mn></m:mrow>

</m:msub>

</m:mrow></m:math> és az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>u</m:mi></m:mrow><m:mrow><m:mn>1</m:mn></m:mrow>

</m:msub>

<m:msub><m:mrow><m:mi>u</m:mi></m:mrow><m:mrow><m:mn>2</m:mn></m:mrow>

</m:msub>

</m:mrow></m:math> éleket, akkor egy olyan gráfot kapunk, amely izomorf a komplementerével. Az izomorfiát könnyű megadni: az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>x</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math> pontnak az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>y</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math> pont feleljen meg, az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>y</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math> pontnak az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>u</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math>, a <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>z</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math>-nek a <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>x</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math> és az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>u</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math>-nek az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>z</m:mi></m:mrow><m:mrow><m:mi>i</m:mi></m:mrow>

</m:msub>

</m:mrow></m:math>.

<div class="p"><!----></div>

<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>n</m:mi><m:mo>=</m:mo><m:mn>9</m:mn></m:mrow></m:math> esetben ebből már könnyű megfelelő gráfot kapni: a kilencedik pontot az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>x</m:mi></m:mrow></m:math> és az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>u</m:mi></m:mrow></m:math> pontokkal kötjük össze.
<br />&nbsp;<br />&nbsp;<br /></div>
<div align="right">[ <a class="ugras" href="exercise_box.php?mode=snehs-j-&amp;linkmode=&amp;label=GR.II%3A%3Ak_ii_090819sl_szimmetria02"> Segítség, útmutatás </a> ]</div></body></html>
