Ramsey theory or problems that are too hard for computers

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
Original language description
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.
Czech name
Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
Czech description
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.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/GA201%2F09%2F0584" target="_blank" >GA201/09/0584: Algebraic and combinatorial aspects of aperiodic structures</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)