Zobrazeno 1 - 4
of 4
pro vyhledávání: '"functional lower bounds"'
We give upper and lower bounds on the power of subsystems of the Ideal Proof System (IPS), the algebraic proof system recently proposed by Grochow and Pitassi (J. ACM, 2018), where the circuits comprising the proof come from various restricted algebr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0aa1138fcc25c2aebae7eb1ee00cd3ef
http://hdl.handle.net/10044/1/93217
http://hdl.handle.net/10044/1/93217
Autor:
Chillara, Suryajith
Recently, Forbes, Kumar and Saptharishi [CCC, 2016] proved that there exists an explicit d^{O(1)}-variate and degree d polynomial P_{d} ��� VNP such that if any depth four circuit C of bounded formal degree d which computes a polynomial of boun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b453d4c996044bafc9b22f9635806c5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.