«proofs» 태그된 질문

프로그래밍 과정에 대한 소개에서 우리는 알고리즘이 우리가 기대하는 것을 수행한다는 것을 증명하는 Initialization-Maintenance-Termination 방법에 대해 배웁니다. 그러나 우리는 이미 올바른 것으로 알려진 알고리즘이 올바른지 증명해야했습니다. 우리는 알고리즘이 올바르지 않다는 것을 보여 달라는 요청을받은 적이 없습니다. 올바른 것처럼 보이지만 그렇지 않은 알고리즘의 전형적인 예가 있습니까? Initialization-Maintenance-Termination 접근 방식이 한 눈에 직감적이지 …

15 ds.algorithms  proofs 

SETH ( 강한 지수 시간 가설 ) 의 비 결정적 확장에 대해 논의한 이 논문 에 따르면 , 윌리엄스는 최근 k-TAUT의 멀린-아더 복잡성에 관한 관련 가설이 거짓임을 보여 주었다. 그러나 그 신문은 개인적인 의사 소통 만 인용합니다. MA 버전의 SETH는 어떻게 거짓으로 증명됩니까? 나는 그것이 공식을 대 수화 하는 것과 …

13 sat  proofs  nondeterminism 

Leslie Lamport 의 "Fast Paxos"논문 을 읽고 클래식 Paxos와 Fast Paxos의 정확성 증명을 고수합니다. 일관성을 위해, 값 위상 코디네이터 고른 2 라운드 나는 만족해야Vvv22a2a나는ii 임의의 라운드 J &lt; 난 , 이외의 값 (V)을 하거나 또 라운드에서 선택되지 않을 수있다 J .씨피( v , i ) :CP(v,i):CP(v,i):j &lt; 나는j&lt;ij < iVvv제이jj …

13 ds.algorithms  dc.distributed-comp  proofs 

요소 고유성 / 차별성 문제에 대한 로그 선형 하한에 대한 몇 가지 증거가 있지만 (대수 계산 트리 또는 적대적 인수에 기초 함) 알고리즘 분석 및 설계의 첫 번째 과정에서 사용할 수있는 간단한 것을 찾고 있습니다. 정렬에 대한 하한과 동일한 "난이도"가 좋습니다. 또한, 모든 접근법 (예를 들어, 조합 또는 정보 이론에 …

13 cc.complexity-theory  lower-bounds  proofs 

나는 최근에 대화 형 증명에 대해 배웠으며 모든 것이 이론적 인 호기심에 불과하거나 실제 적용이 있는지 궁금합니다. 나는 샤워에서 나에게 일어난 예제로 시작하겠다고 생각했다. 최근에 "하나님의 수"가 20이라는 뉴스가 나왔습니다. (하나님의 수는 루빅스 큐브를 해결하는 데 필요한 최소 단계 수입니다). 이것은 꽤 흥미롭지 만 약간의 왜곡이있는 것 같습니다 ... 이것은 …

13 proofs  puzzles  interactive-proofs 

에서 HAC (10.4.2)의 10 장 , 우리는 제곱근이 요인 어려운 복합 모듈로 추출 (추정) 어려움을 사용하여 영 지식 증명을 기반으로 잘 알려진 Feige - 피아트 - 샤미르 식별 프로토콜을 참조하십시오. 나는 그 계획을 내 자신의 말로 줄 것이다. 더 간단한 체계로 시작합시다 : 은 팩토링이 난해 할 정도로 충분히 큰 …

12 cr.crypto-security  proofs  zero-knowledge 

우선, 고델의 불완전 성 정리 (및 공식적인 논리)에 대한 나의 이해는 매우 순진하며 이론적 컴퓨터 과학에 대한 나의 지식이기도합니다 (여전히 학부 과정 중 하나의 대학원 과정 만 이수했음을 의미 함). 매우 순진합니다. 내가 알 수있는 한 P 대 NP의 가능성은 공개적인 문제입니다. 지금: 괴델의 첫 번째 불완전 성 정리에 따르면 …

11 np-hardness  proofs  p-vs-np 

1996 년, 오랜 개방 문제가 컴퓨터에 의해 해결되었습니다. 즉, Robbins 대수 와 부울 대수는 동일합니다. 증명은 자동 정리 증명 자에 의해 발견되었습니다. 또한, 4 색 정리의 알려진 증거는 컴퓨터 생성 구성 요소를 포함합니다. 이 질문의 목적은 컴퓨터에서 발견 된 증명 (완전히 또는 부분적으로)을 증명하는 것입니다 (유일하게 알려진 증명이든 처음 발견 …

11 soft-question  big-list  proofs  automated-theorem-proving 

나는 한동안 SAT 알고리즘을 개발해 왔으며 그것을 공유하고 싶은 시점에 도달했다. 나는 컴퓨터 과학 분야의 많은 사람들을 모른다. 정확히 어디로 돌릴 지 잘 모르겠다. 게시를 고려중인 알고리즘을 가진 사람이 사용할 수있는 리소스가 궁금합니다. 또한 알고리즘의 런타임 및 정확성을 분석하는 데 도움이 필요합니다. 내 주요 문제는 런타임 분석에 있습니다. 이에 대한 …

11 sat  soft-question  proofs