The NW-generators based on computationally hard functions and suitable matrices are hard for proof systems that admit feasible interpolation. You can find the proof here.
Najnovšie komentáre
 | schizyfos on Filozoficko historický pohľad … |
 | Nanyk on Filozoficko historický pohľad … |
| schizyfos on Filozoficko historický pohľad … |
| schizyfos on Filozoficko historický pohľad … |
| schizyfos on Filozoficko historický pohľad … |
2 komentárov
Feed komentárov pre tento článok
Jún 7, 2010 o 12:29 pm
pavel
ty jo, koukam, ze uz mas clanek…tak to je dost dobre, jsi borec. Vyslo ti to nekde?
Jún 7, 2010 o 3:32 pm
Nanyk
taky miniclanok.. zatial to je uverejnene len na elektronickom kolokviu: http://eccc.hpi-web.de/report/2010/046/
(i ked lahko opravitelnych)
..zaslal som to aj do normalneho casopisu, ale neocakavam moc kladnu odpoved, kedze verzia ktoru som poslal a vlastne aj tato tu a aj ta na eccc obsahuje par chyb