이론 컴퓨터 과학

관련 분야의 이론 컴퓨터 과학자 및 연구자를위한 Q & A

1
랜덤 모노톤 기능
6 페이지 의 Razborov-Rudich의 Natural Proofs 논문에서 그들은 " 단조 회로 모델 에 대한 강력한 하한 증거 "가 있으며 그림에 어떻게 적용되는지에 대해 토론합니다 . 여기서 문제는 구성 성이 아닙니다. 이러한 증명에 사용 된 속성은 모두 가능하지만 큰 조건에 대한 공식적인 유사체가없는 것으로 보입니다. 특히, "무작위 모노톤 함수"의 실행 가능한 …
3
입방 해밀턴 그래프에서 해밀턴 사이클의 수를 세고 있습니까?
입방 해밀턴 그래프에서 가장 긴 사이클의 상수 인자 근사값을 찾는 것은 hard입니다. 입방 해밀턴 그래프에는 적어도 두 번의 해밀턴 사이클이 있습니다.엔피엔피NP 3 차 해밀턴 그래프에서 해밀턴 사이클 수에 대해 가장 잘 알려진 상한 및 하한은 무엇입니까? 입방 해밀턴 그래프가 주어지면 해밀턴 사이클의 수를 찾는 복잡성은 무엇입니까? # 단단합니까?피피P
2
st-connectivity를위한 SC ^ 2 알고리즘
Savitch 는 O ( log 2 n ) 공간을 사용하여 st-connectivity 를 해결하는 결정적 알고리즘을 제공 하여 N L ⊆ D S P A C E ( log 2 n )를 암시 합니다. Savitch의 알고리즘은 시간 2 O ( log 2 n ) 에서 실행됩니다 . st-connectivity가 다항식 시간과 O …
2
익스팬더 그래프의 NP-hard 문제?
EXPANDER GRAPHS 라는 제목의 2006 년 발표 자료에는 어떤 미스터리가 남아 있습니까? Nati Linial은 다음과 같은 열린 문제를 제기했습니다. 확장 그래프로 제한 될 때 그래프의 어떤 hard 계산 문제가 여전히 어려운가?NPNPNP 그 이후로 하드 문제에 대한 그러한 결과를 입증하기 위해 어떤 진전이 있었습니까?NPNPNP
1
스파 스 월시하다 마드 변환
왈시 -하다 마드 (WHT)는 변환 , 푸리에 변환의 일반화이며, 치수의 실수 또는 복소수 벡터에 직교 변환 인 . 이 변환은 양자 컴퓨팅에서 인기가 있지만 최근 Johnson-Lindenstrauss Lemma의 증명에 사용하기 위해 고차원 벡터를 무작위로 투영하기위한 일종의 전제 조건으로 연구되었습니다. 주요 특징은 정사각형 d × d 행렬이지만 FFT와 같은 방법 으로 시간 …
2
람다 미적분학에 대한 중간 에타 이론이 있습니까?
람다 미적분학에 대한 두 가지 주요 이론, 즉 베타 이론과 사후 완성 확장, 베타 에타 이론이 있습니다. 이 두 이론은 합동 재 작성 이론을 제공하는 중간 정도의 에타 규칙을 가지고 있습니까? 부분 확장성에 해당하는 흥미로운 개념이 있습니까? 이것은 내가 중간 ETA의 추구에 요청했습니다 두 번째 질문은, 이전의 존재의 람다 계산법의 …
10
물리학의 원리로서 NP- 완전 문제의 난이도?
나는 항상 P 대 NP 문제에 대한 실험 수학의 수치 적 증거가 부족하다는 것에 흥미를 느낀다. Riemann 가설은 수치 검증을 통해 뒷받침되는 증거가 있지만 P 대 NP 문제에 대한 비슷한 증거는 알지 못합니다. 또한, 결정 불가능한 문제 (또는 계산할 수없는 기능의 존재)의 존재로 인한 직접적인 물리적 세계 결과에 대해 알고 …
1
영속성이 균일하지 않다는 증거가
이 질문에 대한 후속 조치 이며 Shiva Kinali 의이 질문 과 관련이 있습니다. 이 논문의 증거 ( Allender , Caussinus-McKenzie- Therien- Vollmer , Koiran-Perifel )는 계층 정리를 사용 하는 것으로 보인다 . 증명이 " 순수한 "대각선 화 이론인지 아니면 일반적인 대각선 화보다 더 많은 것을 사용 하는지 알고 싶습니다 . …
3
역 산출과 계산에 서로 다른 자원을 요구하는 함수 클래스가 있습니까?
이 질문이 너무 간단한 경우 사전에 사과하십시오. 기본적으로 알고 싶은 것은 다음 속성을 가진 함수 가 있는지 여부입니다 f(x)f(x)f(x). 가라 수 공역 도메인과이 제한되는 경우 비트 문자열. 그때F ( X ) Nfn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) 는 주사입니다 fn(x)fn(x)f_n(x) 는 의심 스럽다 fn(x)fn(x)f_n(x) 는 보다 합리적인 모델에서 계산하는 데 필요한 리소스 (공간 / …
1
이 백서의 하한 증명이 정확합니까?
에서 본 논문 15 페이지의 그림 13에 에릭 D. Demaine, 산도르 피 Fekete, 로버트 J. 랭에 의해 "서클 종이 접기 디자인 하드 용 포장"에, 그들이 주장하는 두 개의 원을 둘러싸는 가장 작은 사각형의 측면 길이 면적 1/2의 각각은 1.471299입니다. 내 계산으로 측면 길이 1.362와 면적 1.855를 얻습니다. 내가 실수했거나 논문에 …
6
유전 클래스의 글로벌 속성?
유전 적 부류의 구조 (예 : 그래프)는 유도 된 하부 구조에서 닫히거나 정점 제거에서 닫히는 구조입니다. 미성년자를 배제하는 그래프 클래스에는 제외 된 특정 미성년자에 의존하지 않는 훌륭한 속성이 있습니다. 마틴 그로 헤 (Martin Grohe)는 마이너를 제외한 그래프 클래스에는 동형에 대한 다항식 알고리즘이 있으며, 카운트가있는 고정 소수점 논리는 이러한 그래프 클래스에 …
2
Coq 증거에서 cofix 제거
Coq에서 coinductive 유형을 사용하여 몇 가지 기본 속성을 증명하려고 시도하는 동안 다음과 같은 문제가 계속 발생하여 해결할 수 없습니다. 다음과 같이 문제를 간단한 Coq 스크립트로 정리했습니다. 유형 트리는 유형 A의 요소로 레이블이 지정된 분기가있는 무한 트리를 정의합니다 . 분기는의 모든 요소에 대해 정의 할 필요가 없다 . Univ 값 은 …
2
NP에 APX가 포함되어 있습니까?
근사 계수가 1 + c 인 P에 대해 다항식 시간 근사 알고리즘이 존재하도록 상수 c> 0이 존재하면 문제 P는 APX에 있다고합니다. APX에는 PTAS (정수 c> 0을 선택하여 볼 수 있음)와 P가 포함되어 있습니다. APX가 NP에 있습니까? 특히 일부 근사 계수에 대해 다항식 시간 근사 알고리즘이 존재한다는 것은 문제가 NP에 있음을 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.