Számításelmélet 7.

Slides:



Advertisements
Hasonló előadás
Ptolemaiosz tétel bizonyítása 1.
Advertisements

Kiszámíthatóság, rekurzív függvények
KÉSZÍTETTE: Takács Sándor
A digitális számítás elmélete
Komplex függvények színes világa Lócsi Levente Eötvös József Collegium.
A digitális számítás elmélete Előadás:kedd 10:10-11:40, 0/13. terem előadó: Dr. Ruszinkó Miklós Gyakorlat: Kedd 14:15-16:00,
A következőkben néhány érdekesség!!!!!!
OKTV feladatok megoldása C#-ban
Készítette: Major Máté
Geometriai modellezés
Geometriai modellezés
Dominó probléma (emlékeztető)‏
4. VÉGES HALMAZOK 4.1 Alaptulajdonságok
Streaming Algorithms for k-core Decomposition. K-mag dekompozíció Maximális részgráf, amiben minden csúcshoz legalább k részgráfbeli csúcs csatlakozik.
Készítette: Hanics Anikó. Az algoritmus ADT szintű leírása: A d[1..n] és P[1..n] tömböket, a korábban ismertetett módon, a távolság és a megelőző csúcs.
Dijkstra algoritmus Baranyás Bence. Feladat Adott egy G=(V,E) élsúlyozott, irányított vagy irányítás nélküli, negatív élsúlyokat nem tartalmazó, véges.
Kombinatorikus problémák sokszögek háromszögekre osztásaival kapcsolatban Hajnal Péter Szeged, SZTE, Bolyai Intézet.
EGYENLETEK, EGYENLŐTLENSÉGEK, SZÖVEGES FELEDATOK
IPPI ÁLTALÁNOS ISKOLA SZILÁGY MEGYE
IPPI ÁLTALÁNOS ISKOLA SZILÁGY MEGYE
A SAT probléma különböző reprezentációinak vizsgálata oktatási szempontból (újratöltve) Az általánosítás fegyvere a kutatásban Kusper Gábor,
Van-e Euler vonal az alábbi gráfban?
A digitális számítás elmélete
A digitális számítás elmélete
Determinisztikus véges automaták csukva nyitva m s kbsm csukva nyitva csukva nyitva csukvanyitva 1. Példa: Fotocellás ajtó s b m m= mindkét helyen k= kint.
Háromszögek szerkesztése 3.
FELADAT: Adott az ABCD téglalap. Bizonyítsd be, hogy az ABC  egybevágó a ACD -el. D C A B.
Dijkstra algoritmus Algoritmusok és adatszerkezetek 2. Újvári Zsuzsanna.
Trajectori Adatok feldolgozása DirectionPreserving Trajectory Simplification (Cheng Long, Raymond ChiWing Wong, H. V. Jagadish) Forrás: Készítette: Béleczki.
Algoritmusok bonyolultsága és kommunikációs bonyolultság Gáspár Merse Előd fizika szeminárium 2004 szeptember Algoritmusok bonyolultsága és kommunikációs.
Algoritmusok bonyolultsága Gáspár Merse Előd Györgyi Géza féle statisztikus fizika szeminárium 2004.
Készítette: Kosztyán Zsolt Tibor
1 Boole-Algebrák. 2 más jelölések: ^ = *, &, П v = +, Σ ~ = ¬
4. Gyires Béla Informatikai Nap Debreceni Egyetem Informatikai Kar Új eredmények a Chomsky-féle (formális) nyelvtípusokkal kapcsolatban Dr. Nagy Benedek.
Az Alakfelismerés és gépi tanulás ELEMEI
Konfliktusfeloldó működések a lexikális előhívás során
Intelligens Felderítő Robotok
Gráfelmélet: Fák.
A modern fizika matematikája a középiskolában
GRÁFELMÉLET.
Nemdeterminisztikus tulajdonság tesztelés László Lovász Katalin Vesztergombi.
Euler gráf Euler, 1736 Königsbergi hidak
Készítette: Hanics Anikó. Az algoritmus elve: Kezdetben legyen n db kék fa, azaz a gráf minden csúcsa egy-egy (egy pontból álló) kék fa, és legyen minden.
1 Szélességi Bejárás Györgyi Tamás – GYTNAAI.ELTE 2007 Március 22 Algoritmusok És Adatszerkezetek 2 Gráfalgoritmus S b a d e f h g c.
Az ábrán az inicializáló blokk lefutása utáni állapotot láthatjuk. A KÉSZ halmazhoz való tartozást színezéssel valósítjuk meg. A nem KÉSZ csúcsok fehérek,
Dijkstra-algoritmus. A Dijkstra-algoritmus egy mohó algoritmus, amivel irányított gráfokban lehet megkeresni a legrövidebb utakat egy adott csúcspontból.
Barangolás a 80°-80°-20°-os háromszögek világában
Bellmann-Ford Algoritmus
Dodekaéder Hamilton köre
Fogalma,elemei, tulajdonságai, felosztása…
A folytonosság Digitális tananyag.
Projektmenedzsment gráf általában súlyozott irányított
Diszjunkt halmazok adatszerkezete A diszjunkt halmaz adatszerkezet diszjunkt dinamikus halmazok S={S 1,…,S n } halmaza. Egy halmazt egy képviselője azonosít.
Morvai Mária-Júlia F3D3D4.  Adott egy G=(V,E)élsúlyozott, irányított vagy irányítás nélküli, negatív élsúlyokat nem tartalmazó,véges gráf. Továbbá adott.
DIJKSTRA- ALGORITMUS. A Dijkstra-algoritmus egy mohó algoritmus, amivel irányított vagy irányítás nélküli, negatív élsúlyokat nem tartalmazó, véges gráfokban.
Szélességi bejárás Gráf-algoritmusok Algoritmusok és adatszerkezetek II. Gergály Gábor WZBNCH1.
Készítette : Giligor Dávid Neptun : HSYGGS
Szélességi bejárás. Véges gráf összes csúcsának bejárása a kezdőcsúcstól való távolságuk szerinti növekvő sorrendben Egy csúcsot egyszer járunk be Egyenlő.
Számításelmélet 2. Algoritmus-fogalom Turing-gép Alan M. Turing – 1937 II. világháború, Enigma MI, Turing-teszt Kleene – Rekurzív függvények (1936) Church.
JAG statisztika 2014/ félév.
Gráf csúcsainak színezése
Greedy heurisztikán alapuló közelítő algoritmusok
Számításelmélet Tárgykód: NGM_IN006_1 és LGM_IN006_1
Számításelmélet 1.
P és NP teljes problémák
OK Könnyű Közepes K nehéz
Vidiczki György Matematika BSc hallgató 2015
3. osztályban.
Algoritmusok és Adatszerkezetek I.
Absztrakt problémák Q  I  S, az absztrakt probléma kétváltozós reláció az esetek (I) és a megoldások (S) halmazán Példa: legrövidebb út Eset: gráf és.
Előadás másolata:

Számításelmélet 7

NP osztály Gráfelméleti nyelvek, számelméleti problémák, egyenletek megoldásai, utazóügynök probléma stb. NP-be tartozás bizonyítéka: a nyelvet eldöntő nemdeterminisztikus polinom időkorlátos Turing-gép.

Tanú-tétel

Tanú-tétel

Tanú-tétel

Tanú-tétel

Tanú-tétel

Tanú-tétel

NP-beli nyelvek: 3 színnel színezhető gráfok

Közlekedési lámpák ac bc ec ad bd ed

NP-beli nyelvek: 3 színnel színezhető gráfok 3-színezés

NP-beli nyelvek: Hamilton-kört tartalmazó gráfok

NP-beli nyelvek: Hamilton-kört tartalmazó gráfok csúcsok permutációja

NP-beli nyelvek: Prímszámok nyelve

Komplementer nyelvosztály

NP-beli nyelvek: Prímszámok nyelve

Jól karakterizált nyelvek Prímszámok nyelve