{"id":337,"date":"2008-07-08T14:59:54","date_gmt":"2008-07-08T18:59:54","guid":{"rendered":"https:\/\/scottaaronson.blog\/?p=337"},"modified":"2008-07-08T14:59:54","modified_gmt":"2008-07-08T18:59:54","slug":"quantum-computing-since-democritus-lecture-16-interactive-proofs","status":"publish","type":"post","link":"https:\/\/scottaaronson.blog\/?p=337","title":{"rendered":"Quantum Computing Since Democritus Lecture 16: Interactive Proofs"},"content":{"rendered":"<p>In which I try to give a <a href=\"http:\/\/www.scottaaronson.com\/democritus\/lec16.html\">non-rigorous taste<\/a> of the interactive proofs revolution that rocked the complexity world in the 1990&#8217;s, as well as its consequences for circuit lower bounds.  I argue that these results matter because they offer a tiny glimpse of how one can exploit the <em>structure<\/em> of problems like 3SAT to prove lower bounds&#8212;something we know will eventually be needed for the P vs. NP question.  If you got off the train before its latest tour through the Complexity Badlands, don&#8217;t worry: it will double back into Philosophers&#8217; Valley (where everyone has an opinion and no one has a result) by Lecture 17 (&#8220;Fun With Anthropic Principles&#8221;).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In which I try to give a non-rigorous taste of the interactive proofs revolution that rocked the complexity world in the 1990&#8217;s, as well as its consequences for circuit lower bounds. I argue that these results matter because they offer a tiny glimpse of how one can exploit the structure of problems like 3SAT to [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"_wpas_customize_per_network":false},"categories":[5,6],"tags":[],"class_list":["post-337","post","type-post","status-publish","format-standard","hentry","category-complexity","category-democritus"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/337","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=337"}],"version-history":[{"count":0,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=\/wp\/v2\/posts\/337\/revisions"}],"wp:attachment":[{"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=337"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=337"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/scottaaronson.blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=337"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}