<?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.3.4</title>
<link rel="stylesheet" href="/mathdisplay.css" type="text/css" />
</head>
<body>
<div class="feladat">
<b>Feladat: 3.4.</b><br /> <a name="k_ii_090906sl_ramsey08a" /><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>Bizonyítsuk be, hogy ha egy hatpontú teljes gráf éleit két színnel színezzük, akkor van legalább két egyszínű háromszög. Van-e mindig három egyszínű háromszög is?
<br />&nbsp;<br /></div>
<div class="feladat">
<a name="_solution_k_ii_090906sl_ramsey08a" /><b>Megoldás: 3.4</b><br />
Egy egyszínű háromszög van a <a href="chapter.php?mode=sne-s-j-&amp;volume=gr_ii&amp;code=GR.II&amp;chapter=chs_gr_ii/gr_ii_ramsey&amp;chapternum=3&amp;topic=Speciális gráfelméleti témák&amp;yearpair=9--10#k_ii_090825sl_ramsey08" target="_blank">3.3</a>. feladat szerint. Hagyjuk el e háromszög egyik <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>x</m:mi></m:mrow></m:math> pontját. A maradó ötpontú gráfban vagy van még egy egyszínű háromszög, vagy úgy van két színnel színezve, hogy mindkét színű élek egy <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>C</m:mi></m:mrow><m:mrow><m:mn>5</m:mn></m:mrow>

</m:msub>

</m:mrow></m:math>-öt alkotnak. (L. a <a href="chapter.php?mode=sne-s-j-&amp;volume=gr_ii&amp;code=GR.II&amp;chapter=chs_gr_ii/gr_ii_ramsey&amp;chapternum=3&amp;topic=Speciális gráfelméleti témák&amp;yearpair=9--10#k_ii_090822sl_ramsey02" target="_blank">3.2</a>. feladatot.) Előbbi esetben kész vagyunk. 

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

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

<m:mrow><m:mi>x</m:mi></m:mrow></m:math>-et az öt pont közül legalább hárommal azonos színű él köti össze, legyen ez az 1-es szín. Az 1-es színű <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>C</m:mi></m:mrow><m:mrow><m:mn>5</m:mn></m:mrow>

</m:msub>

</m:mrow></m:math> szerint számozzuk a pontokat mod 5, tehát az <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mn>123451</m:mn></m:mrow></m:math> kör élei 1-es színűek. Minthogy három 1-es színű él indul <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>x</m:mi></m:mrow></m:math>-ből, ezek közül kettő a kör szomszédos pontjaihoz indul. Úgy számozunk, hogy <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>x</m:mi></m:mrow></m:math> össze van kötve 1-gyel és 2-vel. Ha 3-mal vagy 5-tel is 1-es színű él köti össze, akkor <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>x</m:mi><m:mn>12</m:mn></m:mrow></m:math> mellett van még egy 1-es színű háromszögünk, ha viszont 3-mal is, 5-tel is 2-es színű él köti össze, akkor <m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow><m:mi>x</m:mi><m:mn>35</m:mn></m:mrow></m:math> egy 2-es színű háromszög.

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

A ,,három-ház-három-kút" (<m:math xmlns="http://www.w3.org/1998/Math/MathML">

<m:mrow>

<m:msub><m:mrow><m:mi>K</m:mi></m:mrow><m:mrow><m:mn>3</m:mn><m:mo>,</m:mo><m:mn>3</m:mn></m:mrow>

</m:msub>

</m:mrow></m:math>) gráfban nincs háromszög (mert páros gráf) és a kompelemtere két diszjunk háromszög. Legyenek a két diszjunkt háromszög élei 1-es színűek, a többi él 2-es színű. E mellett a színezés mellett nincs három egyszínű háromszög.
<br />&nbsp;<br />&nbsp;<br /></div>
</body></html>
