×

Found 118 Documents (Results 1–100)

Dequantizing the quantum singular value transformation: hardness and applications to quantum chemistry and the quantum PCP conjecture. (English) Zbl 07774317

Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 19-32 (2022).
MSC:  68Qxx

Revisiting alphabet reduction in Dinur’s PCP. (English) Zbl 07758336

Byrka, Jarosław (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 23rd international conference, APPROX 2020, and 24th international conference, RANDOM 2020, August 17–19, 2020, Virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 176, Article 34, 14 p. (2020).
MSC:  68W20 68W25 90C27
Full Text: DOI

Improved 3LIN hardness via linear label cover. (English) Zbl 07650076

Achlioptas, Dimitris (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques, 22nd international conference, APPROX 2019, and 23rd international conference, RANDOM 2019, Massachusetts Institute of Technology, Cambridge, MA, USA, September 20–22, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 145, Article 9, 16 p. (2019).
MSC:  68W20 68W25 90C27
Full Text: DOI

Stronger connections between circuit analysis and circuit lower bounds, via PCPs of proximity. (English) Zbl 07564419

Shpilka, Amir (ed.), 34th computational complexity conference, CCC 2019, New Brunswick, NJ, USA, July 18–20, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 137, Article 19, 43 p. (2019).
MSC:  68Q25
Full Text: DOI

Towards a general direct product testing theorem. (English) Zbl 1528.68405

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 11, 17 p. (2018).
MSC:  68W20 68R05 68R10

Fast and deterministic constant factor approximation algorithms for LCS imply new circuit lower bounds. (English) Zbl 1462.68239

Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 35, 14 p. (2018).
Full Text: DOI

Hardness of rainbow coloring hypergraphs. (English) Zbl 1491.68144

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 33, 15 p. (2018).
Full Text: DOI

Pointer quantum PCPs and multi-prover games. (English) Zbl 1398.68174

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 21, 14 p. (2016).
MSC:  68Q12 68Q15 91A80

Hardness of bipartite expansion. (English) Zbl 1397.68101

Sankowski, Piotr (ed.) et al., 24th annual European symposium on algorithms, ESA 2016, Aarhus, Denmark, August 22–24, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-015-6). LIPIcs – Leibniz International Proceedings in Informatics 57, Article 55, 17 p. (2016).
MSC:  68Q25 68Q17 68R10
Full Text: DOI

Making the best of a leaky situation: zero-knowledge PCPs from leakage-resilient circuits. (English) Zbl 1375.94136

Kushilevitz, Eyal (ed.) et al., Theory of cryptography. 13th international conference, TCC 2016-A, Tel Aviv, Israel, January 10–13, 2016. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-49098-3/pbk; 978-3-662-49099-0/ebook). Lecture Notes in Computer Science 9563, 3-32 (2016).
MSC:  94A60 68Q15
Full Text: DOI

Executable proofs, input-size hiding secure computation and a new ideal world. (English) Zbl 1403.94047

Oswald, Elisabeth (ed.) et al., Advances in cryptology – EUROCRYPT 2015. 34th annual international conference on the theory and applications of cryptographic techniques, Sofia, Bulgaria, April 26–30, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-46802-9/pbk; 978-3-662-46803-6/ebook). Lecture Notes in Computer Science 9057, 532-560 (2015).
MSC:  94A60 68P25
Full Text: DOI

The PCP theorem for NP over the reals. (English) Zbl 1354.68092

Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 104-115 (2013).
MSC:  68Q15 03D78
Full Text: DOI

Succinct non-interactive zero knowledge arguments from span programs and linear error-correcting codes. (English) Zbl 1300.94080

Sako, Kazue (ed.) et al., Advances in cryptology – ASIACRYPT 2013. 19th international conference on the theory and application of cryptology and information security, Bengaluru, India, December 1–5, 2013. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-42032-0/pbk). Lecture Notes in Computer Science 8269, 41-60 (2013).
MSC:  94A60 94B05
Full Text: DOI

\(2^{\log^{1-\varepsilon} n}\) hardness for the closest vector problem with preprocessing. (English) Zbl 1286.68199

Karloff, Howard J. (ed.) et al., Proceedings of the 44th annual ACM symposium on theory of computing, STOC 2012. New York, NY, USA, May 19–22, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1245-5). 277-288 (2012).
MSC:  68Q17
Full Text: DOI

Probabilistically checkable proofs and codes. (English) Zbl 1252.68139

Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. I: Plenary lectures and ceremonies. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-30-4/set; 978-81-85931-08-3/hbk; 978-981-4324-31-1/hbk; 978-981-4324-35-9/ebook). 265-285 (2011).
MSC:  68Q17 68Q15

Bravely, moderately: a common theme in four recent works. (English) Zbl 1343.68113

Goldreich, Oded (ed.), Studies in complexity and cryptography. Miscellanea on the interplay between randomness and computation. In collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman. Berlin: Springer (ISBN 978-3-642-22669-4/pbk). Lecture Notes in Computer Science 6650, 373-389 (2011).
Full Text: DOI

Using the FGLSS-reduction to prove inapproximability results for minimum vertex cover in hypergraphs. (English) Zbl 1343.68094

Goldreich, Oded (ed.), Studies in complexity and cryptography. Miscellanea on the interplay between randomness and computation. In collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman. Berlin: Springer (ISBN 978-3-642-22669-4/pbk). Lecture Notes in Computer Science 6650, 88-97 (2011).
Full Text: DOI

A hypergraph dictatorship test with perfect completeness. (English) Zbl 1255.68147

Dinur, Irit (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 12th international workshop, APPROX 2009, and 13th international workshop, RANDOM 2009, Berkeley, CA, USA, August 21–23, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03684-2/pbk). Lecture Notes in Computer Science 5687, 448-461 (2009).
MSC:  68T15 05C65 68Q15 68W20

NP-completeness of (\(k\)-SAT, \(r\)-UN\(k\)-SAT) and (LSAT\(_{ \geq k }\), \(r\)-UNLSAT\(_{ \geq k }\)). (English) Zbl 1143.68403

Preparata, Franco P. (ed.) et al., Frontiers in algorithmics. Second annual international workshop, FAW 2008, Changsha, China, June 19–21, 2008. Proceeedings. Berlin: Springer (ISBN 978-3-540-69310-9/pbk). Lecture Notes in Computer Science 5059, 79-88 (2008).
MSC:  68Q17 68Q25
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software