DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/14924

Arxiu Descripció MidaFormat
08004.DiazJ.1750.pdf470,04 kBAdobe PDFThumbnail
Veure/Obrir

Citació: Díaz, J. [et al.]. A new upper bound for 3-SAT. A: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science". Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008, p. 163-174.
Títol: A new upper bound for 3-SAT
Autor: Díaz Cort, Josep Veure Producció científica UPC; Lefteris, Kirousis; Mitsche, Dieter; Perez-Gimenez, Xavier
Editorial: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Data: 2008
Tipus de document: Conference report
Resum: We show that a randomly chosen 3-CNF formula over n variables with clauses-tovariables ratio at least 4.4898 is asymptotically almost surely unsatisfiable. The previous best such bound, due to Dubois in 1999, was 4.506. The first such bound, independently discovered by many groups of researchers since 1983, was 5.19. Several decreasing values between 5.19 and 4.506 were published in the years between. The probabilistic techniques we use for the proof are, we believe, of independent interest.
ISBN: 978-3-939897-08-8
URI: http://hdl.handle.net/2117/14924
DOI: 10.4230/LIPIcs.FSTTCS.2008.1750
Apareix a les col·leccions:Altres. Enviament des de DRAC
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals. Ponències/Comunicacions de congressos
Departament de Llenguatges i Sistemes Informàtics. Ponències/Comunicacions de congressos
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Aquest ítem (excepte textos i imatges no creats per l'autor) està subjecte a una llicència de Creative Commons Llicència Creative Commons
Creative Commons

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius