Заранкевич проблемасы - Zarankiewicz problem - Wikipedia

The Заранкевич проблемасы, математикадағы шешілмеген мәселе, а-дағы жиектердің ең үлкен санын сұрайды екі жақты граф берілген шыңдар саны бар, бірақ жоқ толық екі жақты берілген өлшемді ішкі графиктер.[1] Ол өрісіне жатады экстремалды графтар теориясы, филиалы комбинаторика, және поляк математигінің есімімен аталады Казимерц Заранкевич, 1951 жылы проблеманың бірнеше ерекше жағдайларын ұсынған.[2]

The Кевари – Сос – Туран теоремасы, Тамаш Кевари атындағы, Vera T. Sós, және Пал Туран, қамтамасыз етеді жоғарғы шекара Заранкевич мәселесін шешу туралы. Тыйым салынған екі жақты субографияның бір жағы ең көп дегенде үш төбесі болған кезде, бұл байланыс дұрыс жауаптың тұрақты факторында болатындығы дәлелденді. Үлкен тыйым салынған ішкі суреттер үшін ол ең жақсы белгілі болып қалады және тығыз болады деп болжанған. Кевари-Сос-Туран теоремасын қолдану геометриялық объектінің әр түрлі типтері арасындағы индикациялар санын шектейді. дискретті геометрия.

Проблеманы шешу

A екі жақты граф G = (UVE) екі бөлінген жиынтықтан тұрады төбелер U және V, және жиынтығы шеттері олардың әрқайсысы шыңды біріктіреді U шыңына дейін V. Екі бірдей шыңды бірдей екі төбені байланыстыра алмайды. A толық екі жақты график - бұл шыңның әрбір жұбы болатын екі жақты график U және бастап шың V бір-бірімен байланысты. Толық екі жақты график, онда U бар с шыңдар және V бар т шыңдар белгіленеді Қс,т. Егер G = (UVE) - бұл екі жақты граф, және оның жиынтығы бар с шыңдары U және т шыңдары V бәрі бір-бірімен байланысты, содан кейін бұл шыңдар индукциялау форманың подографиясы Қс,т. (Осы тұжырымдамада с және т мәні бар: жиынтығы с шыңдар болуы керек U және жиынтығы т шыңдар болуы керек V, керісінше емес.)

The Заранкевич функциясы з(мnст) екі жақты графиктің мүмкін болатын жиектерінің максималды санын білдіреді G = (UVE) ол үшін |U| = м және |V| = n, бірақ онда форманың подографиясы жоқ Қс,т. Маңызды ерекше іс үшін стенография ретінде, з(nт) сияқты з(nnтт). Заранкевич проблемасы Заранкевич функциясының формуласын сұрайды немесе (егер олай болмаса) қатаң болса асимптотикалық шектер өсу қарқыны бойынша з(nт) деп болжайды т сияқты тұрақты шама болып табылады n шексіздікке жетеді.

Үшін s = t = 2 бұл проблема анықтаумен бірдей торлар алты. Заранкевич проблемасы, торлар және ақырлы геометрия өзара тығыз байланысты.[3]

Сол проблеманы терминдер арқылы да тұжырымдауға болады сандық геометрия. Екі жақты графтың мүмкін шеттері G = (UVE) нүктелері ретінде елестетуге боладыU| × |V| ішіндегі тіктөртбұрыш бүтін тор, ал толық субография дегеніміз - бұл барлық төртбұрыштағы осы тіктөртбұрыштағы жолдар мен бағандар жиынтығы. Осылайша, з(мnстішінде орналастыруға болатын нүктелердің максималды санын білдіреді м × n жолдар мен бағандардың ішкі жиынтығы толық құрайтын етіп тор с × т тор.[4] Баламалы және баламалы анықтама - бұл з(мnст) ең кіші бүтін сан к осылай әрқайсысы (0,1) -матрица өлшемі м × n бірге к + 1 бірліктің жиынтығы болуы керек с жолдар және т сәйкес келетін бағандар с×т субматрица болып табылады тек 1-ден тұрады.

Мысалдар

Екі жағында 4 төбесі, 13 шеті және жоқ екі жақты граф Қ3,3 подграф, және оны көрсететін 4 × 4 тордағы 13 балама балама жиынтық з(4; 3) ≥ 13.

Нөмір з(n, 2) бар екі жақты графиктегі жиектердің максималды санын сұрайды n әр жағында 4 циклі жоқ шыңдар (оның) белдеу алты немесе одан көп). Осылайша, з(2, 2) = 3 (үш қырлы жолмен қол жеткізіледі), және з(3, 2) = 6 (а алтыбұрыш ).

Заранкевич проблеманы өзінің түпнұсқалық тұжырымдауында мәндерін сұрады з(n; 3) үшін n = 4, 5 және 6. Жауаптар көп ұзамай берілген Wacław Sierpiński: з(4; 3) = 13, з(5; 3) = 20 және з(6; 3) = 26.[4] Іс з(4; 3) салыстырмалы түрде қарапайым: екі бөлімнің екі жағында төрт шыңы бар 13 жиекті екі жақты график және жоқ Қ3,3 под графикті а графигіне ұзын диагональдардың бірін қосу арқылы алуға болады текше. Басқа бағытта, егер 14 шеті бар екі жақты графиктің екі жағында төрт шың болса, онда екі жағында екі шың болуы керек дәрежесі төрт. Осы төрт төбені және олардың түскен 12 шетін алып тастағанда бос жиектер жиыны қалады, олардың кез келгені жойылған төрт төбемен бірге а Қ3,3 подограф.

Жоғарғы шектер

Келесі жоғарғы шекараны Тамас Кевари белгіледі, Vera T. Sós және Пал Туран проблема қойылғаннан кейін көп ұзамай,[5] және ретінде белгілі болды Кевари – Сос – Туран теоремасы:

Шындығында, Кевари, Сос және Туран үшін ұқсас теңсіздікті дәлелдеді з(nт), бірақ көп ұзамай Гильтен-Каваллиус жоғарыдағы теңсіздікті дәлелдеуге дәл осындай аргумент қолдануға болатындығын байқады.[6]Жағдайда, осы формуланың екінші мүшесінде тұрақты фактордың жақсаруы з(nт) берген Штефан Знам:[7]

Егер с және т көмегімен тұрақты, содан кейін асимптотикалық деп қабылданады үлкен O белгісі, бұл формулаларды келесі түрде өрнектеуге болады

және

Төменгі шекаралар

Үшін т = 2, және -дің шексіз көп мәні үшін n, екі жақты график n әр жағынан шыңдар, Ω (n3/2) шеттері, және жоқ Қ2,2 ретінде алынуы мүмкін Леви графигі ақырлы проективті жазықтық, жүйесі n әрбір екі нүкте ерекше сызыққа жататын және әрбір екі сызық ерекше нүктеде қиылысатын нүктелер мен сызықтар.Бұл геометриядан пайда болған графиктің екі нүктенің бір жағында әр нүктеге арналған шыңы, екінші жағына шыңы бар әр сызық үшін екі бөлім, ал нүкте мен түзудің арасындағы әр түсу жиегі. Шектік өрістерден анықталған проективті жазықтықтар б әкелу Қ2,2-мен еркін графиктер n = б2 + б + 1 және (б2 + б + 1)(б + 1) шеттер. Мысалы, Леви графигі Фано ұшағы пайда болады Heawood графигі, екі жағында жеті төбесі, 21 шеті бар және 4 циклды көрсетпейтін екі жақты график з(7; 2) ≥ 21. Осы мысалдар тұқымдасы келтірген Заранкевич функциясының төменгі шегі И.Рейман берген жоғарғы шекараға сәйкес келеді.[8] Осылайша, үшін т = 2 және сол мәндер үшін n ол үшін осы құрылысты жасауға болады, ол Заранкевич проблемасына нақты жауап береді. Басқа мәндері үшін n, бұл жоғарғы және төменгі шекаралардан асимптотикалық түрде шығады[9]

Жалпы,[10]

Үшін т = 3, және -дің шексіз көп мәні үшін n, екі жақты графиктер n әр жағынан шыңдар, Ω (n5/3) шеттері, және жоқ Қ3,3 қайтадан бастап салынуы мүмкін ақырлы геометрия, шыңдар үшөлшемді ақырлы аффиналық кеңістіктегі нүктелер мен сфераларды (мұқият таңдалған тұрақты радиустың), ал шеттері нүктелік-сфералық индикцияларды білдіруіне мүмкіндік береді.[11]

Бұл туралы болжам жасалды

барлық тұрақты мәндері үшін т, бірақ бұл тек белгілі т = 2 және т = 3 жоғарыдағы конструкциялар бойынша.[12] Тығыз шекаралар жұптар үшін де белгілі (ст) әр түрлі мөлшерде (атап айтқанда) с ≥ (т - 1)!). Мұндай жұптар үшін

жоғарыда аталған болжамға несие беру.[13]

Екі жақты емес графиктер

Тұрақты факторларға дейін, з(nт) сонымен қатар an-дағы жиектердің санын шектейді n- жоқ шексіз график (екі жақты болуы міндетті емес) Қт,т подограф. Үшін, бір бағытта, екі жақты график з(nт) шеттері және n оның екі бөлігінің екі жағындағы төбелерді графикке келтіруге болады n төбелер және (күтуде) з(nт) Таңдау арқылы 4 шеті n/ Әр шетінен кездейсоқ түрде 2 шың. Басқа бағытта n төбелер және жоқ Қт,т көмегімен екі жақты графқа айналдыруға болады n оның екі бөлігінің екі жағындағы шыңдар, екі есе көп шеттер, және әлі де жоқ Қт,т оны қабылдау арқылы екі жақты қақпақ.[14]

Қолданбалар

Кевари-Сос-Туран теоремасы қолданылған дискретті геометрия әр түрлі типтегі геометриялық объектілер арасындағы инциденттер санын шектеу. Қарапайым мысал ретінде n нүктелер және м ішіндегі сызықтар Евклидтік жазықтық міндетті түрде жоқ Қ2,2сондықтан Кевари-Сос-Туранға сәйкес келеді O(нм1/2 + м) сызықтық оқиғалар. Бұл кезде тығыз болады м қарағанда әлдеқайда үлкен n, бірақ қашан м және n тең болады, бұл жағдайда Шемереди-Тротер теоремасы неғұрлым тығыз қамтамасыз етеді O(n2/3м2/3 + n + м) байланысты. Алайда, Семереди-Тротер теоремасы нүктелері мен сызықтарын Кювари-Сос-Туран байланысы тығыз болатын ішкі жиындарға бөлу арқылы дәлелденуі мүмкін.[15]

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Bollobás, Béla (2004), «VI.2 Толық ішкі графикасы р-партиттік графиктер », Экстремалды графика теориясы, Mineola, NY: Dover Publications Inc., 309–326 бет, МЫРЗА  2078877. 1978 жылғы академиялық баспасөз басылымын қайта басу, МЫРЗА0506522.
  2. ^ Заранкевич, Қ. (1951), «Мәселе Р 101», Коллок. Математика., 2: 301. Келтірілгендей Боллобас (2004).
  3. ^ http://www.cs.elte.hu/~hetamas/publ/DHSzFIN.pdf
  4. ^ а б Sierpiński, W. (1951), «Sur un problème aid 365 балл», Энн. Soc. Полон. Математика., 24: 173–174, МЫРЗА  0059876.
  5. ^ Кевари, Т .; Т.Сос, В.; Туран, П. (1954), «К. Заранкевичтің проблемасы туралы» (PDF), Математика коллоквиумы., 3: 50–57, МЫРЗА  0065617.
  6. ^ Hyltén-Cavallius, C. (1958), «Комбинаторлық мәселе туралы», Colloquium Mathematicum, 6: 59–65, МЫРЗА  0103158. Келтірілгендей Боллобас (2004).
  7. ^ Znám, Š. (1963), «К.Заранкевичтің комбинаториялық мәселесі туралы», Colloquium Mathematicum, 11: 81–84, МЫРЗА  0162733. Келтірілгендей Боллобас (2004).
  8. ^ Рейман, И. (1958), «Über ein Problem von K. Zarankiicz», Acta Mathematica Academiae Scientiarum Hungaricae, 9: 269–273, дои:10.1007 / bf02020254, МЫРЗА  0101250. Келтірілгендей Боллобас (2004).
  9. ^ Боллобас (2004), Қорытынды 2.7, б. 313.
  10. ^ Фюреди, Золтан (1996), «Екі жақты Туран сандарына арналған жаңа асимптотика», Комбинаторлық теория журналы, А сериясы, 75 (1): 141–144, дои:10.1006 / jcta.1996.0067, МЫРЗА  1395763.
  11. ^ Браун, В.Г. (1966), «Томсен графигі жоқ графиктер туралы», Канадалық математикалық бюллетень, 9: 281–285, дои:10.4153 / CMB-1966-036-2, МЫРЗА  0200182.
  12. ^ Боллобас (2004), Болжам 15, б. 312.
  13. ^ Алон, Нога; Ронайи, Лайос; Сабо, Тибор (1999), «Нормалар-графиктер: вариациялар және қолдану», Комбинаторлық теория журналы, B сериясы, 76 (2): 280–290, дои:10.1006 / jctb.1999.1906, МЫРЗА  1699238. Бұл жұмыс үлкен мәндер үшін жарамды, ертерек жасалған с, of Коллар, Янос; Ронайи, Лайос; Сабо, Тибор (1996), «Норман-графиктер және екі жақты Туран сандары», Комбинаторика, 16 (3): 399–406, дои:10.1007 / BF01261323, МЫРЗА  1417348.
  14. ^ Боллобас (2004), Теорема 2.3, б. 310.
  15. ^ Матушек, Джири (2002), Дискретті геометрия бойынша дәрістер, Математика бойынша магистратура мәтіндері, 212, Нью-Йорк: Спрингер-Верлаг, 65-68 бет, дои:10.1007/978-1-4613-0039-7, ISBN  0-387-95373-6, МЫРЗА  1899299.