Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21340%2F12%3A00201513" target="_blank" >RIV/68407700:21340/12:00201513 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
Popis výsledku v původním jazyce
Ramseyova teorie se zabývá příklady, které hledají nejmenší možnýy počet prvků zaručující určitou vlastnost. Patří mezi ně například Party Problem, Happy End Problem nebo Van der Waerden Problem. Pro počítače jsou příklady z této oblasti značně časově náročné, ale matematickou úvahou lze výsledku často dosáhnout s pomocí tužky a papíru. Ramseyovu teorii velmi rozvinul slavný mad'arský matematik Pál Erdos.
Název v anglickém jazyce
Ramsey theory or problems that are too hard for computers
Popis výsledku anglicky
Ramsey theory deals with problems of finding the smallest number guaranteeing a certain property. They are often too complex for computers while some of them may be solved with just pen and paper. Famous Ramsey theory problems are Party Problem, Happy End Problem or Van der Waerden Problem. It was the favourite discipline of the famous Hungarian mathematician Paul Erdos.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
<a href="/cs/project/GA201%2F09%2F0584" target="_blank" >GA201/09/0584: Algebraické a kombinatorické aspekty aperiodických struktur</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)