お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2006-03-23 09:00
Increasing the Success Probability of PPSZ-type Satisfiability Testing
Kazuo Iwama・○Suguru TamakiKyoto Univ.
抄録 (和) (まだ登録されていません) 
(英) Recently, [Iwama, Tamaki, SODA04] gave a new worst-case upper bound
for 3SAT by modifying the PPSZ-type algorithm in
[Paturi et. al., FOCS98] by making use of the local-search-type
one in [Schoning, Algorithmica 02].
We propose a different kind of modification in this paper.
Recall that the analysis of the first algorithm (denoted by \textbf{PPSZ})
assumes that each bit of the
initial assignment coincides that of a satisfying assignment with
probability one half.
Our idea is that if we can increase this probability, i.e., if we can
use a ``better'' initial assignment, then the success probability of
\textbf{PPSZ} should increase.
To get this better assignment we use the second algorithm (denoted by
\textbf{SCH}).
Note that the local search starts with a random assignment and
gradually approaches to a satisfying assignment $z$.
In the middle of this process, there should be the moment that
the current assignment $a^*$ is close to $z$ and to use
\textbf{PPSZ} with this assignment $a^*$ has a better success
probability than to continue \textbf{SCH}.
In this paper we prove that this conjecture is true under some
assumption on the uniformity of probability.
キーワード (和) / / / / / / /  
(英) CNF Satisfiability / Probabilistic Algorithm / Complexity / / / / /  
文献情報 信学技報, vol. 105, no. 680, COMP2005-63, pp. 1-6, 2006年3月.
資料番号 COMP2005-63 
発行日 2006-03-16 (COMP) 
ISSN Print edition: ISSN 0913-5685
PDFダウンロード

研究会情報
研究会 COMP  
開催期間 2006-03-22 - 2006-03-23 
開催地(和) 電気通信大学 
開催地(英) The University of Electro-Communications 
テーマ(和)  
テーマ(英)  
講演論文情報の詳細
申込み研究会 COMP 
会議コード 2006-03-COMP 
本文の言語 英語 
タイトル(和)  
サブタイトル(和)  
タイトル(英) Increasing the Success Probability of PPSZ-type Satisfiability Testing 
サブタイトル(英)  
キーワード(1)(和/英) / CNF Satisfiability  
キーワード(2)(和/英) / Probabilistic Algorithm  
キーワード(3)(和/英) / Complexity  
キーワード(4)(和/英) /  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 岩間 一雄 / Kazuo Iwama /
第1著者 所属(和/英) 京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.)
第2著者 氏名(和/英/ヨミ) 玉置 卓 / Suguru Tamaki /
第2著者 所属(和/英) 京都大学 (略称: 京大)
Kyoto University (略称: Kyoto Univ.)
第3著者 氏名(和/英/ヨミ) / /
第3著者 所属(和/英) (略称: )
(略称: )
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第2著者 
発表日時 2006-03-23 09:00:00 
発表時間 35分 
申込先研究会 COMP 
資料番号 COMP2005-63 
巻番号(vol) vol.105 
号番号(no) no.680 
ページ範囲 pp.1-6 
ページ数
発行日 2006-03-16 (COMP) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会