Home | Contact | Sitemap | 中文 | CAS
Search: 
Home │  About Us │  Research │  People │  International Cooperation │  Education & Training │  Papers
  Seminar
Conference
Forum on FS
Colloquium
Seminar
Lunch Seminar
Coffee Time
Advanced Course
KITPC Activities
Other activities
  Location: Home >  Research Activities >  Seminar
Statistical physics on random satisfiability and random quantified satisfiability
2011-03-31     Text Size:  A
Institute of Theoretical Physics
Chinese Academy of Sciences
学术报告
Title
题目
Statistical physics on random satisfiability and random quantified satisfiability
Speaker
报告人
Dr. Pan Zhang
Dipartimento di Fisica, Politecnico di Torino, Italy
Date
日期
2011-03-31 PM 16:00-17:00 Thursday
Venue
地点
Conference Hall 322, ITP/理论物理所322报告厅
Abstract
摘要

Constraint satisfaction problems and optimization problems which belong to NP-complete class are believed to be very difficult to solve in the worst case. However, most instances arising in practice might be very easy to solve, therefore need studies in the sense of average complexity. Statistical physics, especially cavity method from spin glass theory, is particularly suitable to give an "Heuristic" approach on average complexity  studies of these problems.

The first part of this talk will  give a review> on statistical physics studies on random satisfiability problem, on topics of satisfiability threshold and solution space organization. The second part of the talk will introduce our recent work on random quantified satisfiability problems, which can be seen as an attempt to use statistical physics on problems harder than NP-complete.

  Appendix:
       Address: No. 55 Zhong Guan Cun East Road, Haidian District, Beijing 100190, P. R. China
Copyright ? Institute of Theoretical Physics, Chinese Academy of Sciences, All Rights Reserved