Szia gd!
Nem hinném, hogy lenne nem exponenciális algoritmus erre a feladatra. Mert, ha nem nézzük végig az eseteket, akkor szerintem hipergráf színezett hiperéleinek kellene megfeleltetni az állításokat, akkor viszont egyfajta "legrövidebb út" keresése a probléma adott állításnál, hogy ez következik-e korábbiakból, illetve adott tulajdonság létezik-e, itt viszont ez a "legrövidebb út" probléma egyáltalán nem látszik könnyűnek. Igencsak meglepődnék 64 tulajdonságra müködő program esetén.
Egy javaslat: Ha az adott feladatot megoldó beleegyezik és csak ekkor, fel lehetne tenni a komal.hu-ra a megoldásokat, a hivatalos megoldás mellett ( bár legtöbbször ez sem jelenik meg ). Mindenki megnézhetné, hogy ki hogy oldotta meg vagy próbálta megoldani a feladatot. Így is tanulva a programozást. Nem haszontalan, mert bár jónéhány webhelyen lehet találni c++ forrásokat, azok a legtöbb esetben teljesen triviálisak és az ember semmit nem tanul belőlük. Én is kb. 3 darab c++ forrásból ( ezek elég hosszúak voltak ) tanultam meg a legalapvetőbb dolgokat c++ban.
|