이론 컴퓨터 과학

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

1
뒤집을 수있는 타르타르?
이 질문은 알려진 가역 튜링 타르 타프가 있는지 여부에 관한 것인데, 여기서 "가역적"은 Axelsen과 Glück 의 의미를 의미 하며, "타르 타트"는 훨씬 더 비공식적 인 개념이며 단어의 선택이 좋지 않을 수 있습니다. 그러나 나는 그것이 의미하는 바를 설명하기 위해 최선을 다할 것입니다. "타르 타트"의 의미 일부 계산 모델은 어떤 식 …
2
나무 폭과 도수의 관계
트리 폭 가 clique number 의 함수 , 즉 의 함수에 의해 상한이 되는 멋진 그래프 클래스 가 있습니까?t 승 ( G )티승(지)tw(G)ω ( G )ω(지)\omega(G)t w ( G ) ≤ f( ω ( G ) )티승(지)≤에프(ω(지))tw(G)\leq f(\omega(G)) 예를 들어, 화음 그래프 에 대해 있다는 것은 일반적인 사실입니다 . 따라서 …
2
파노의 불평등과의 대화?
파노의 불평등 은 여러 형태로 언급 될 수 있으며, 특히 유용한 것은 오데드 레게 브 (Oded Regev )에게있다 (사소한 수정) . 하자 확률 변수, 그리고하자 여기서 랜덤 프로세스이다. 주어진 가 를 확률 재구성 할 수 있는 프로 시저 의 존재가 있다고 가정하십시오 . 그런 다음 XXXY=g(X)Y=g(X)Y = g(X)g(⋅)g(⋅)g(\cdot)fffy=g(x)y=g(x)y = g(x)xxxpppI(X;Y)≥pH(X)−H(p)I(X;Y)≥pH(X)−H(p) …
5
최신 프로그래밍 언어 개발을위한 프로세스 계산 및 PL 이론 사용
한동안 나는 언어 이론과 프로세스 계산법에 관심이 많았고 그것들을 연구하기 시작했다. 솔직히 말해서, 나는 경력을 쌓기 위해 신경 쓰지 않을 것입니다. 나는 이론이 엄청나게 매력적이라는 것을 안다. 내가 계속 겪고있는 한 가지 질문은 PL 이론이나 프로세스 Calculi가 현대 프로그래밍 언어 개발에서 전혀 중요하지 않은지입니다. Pi-calculus에 많은 변형이 있고 활발한 연구가 …
1
프로그램 최소화
회로 최소화 는 주어진 회로의 크기를 최소화하는 문제입니다. 일반 프로그램과 비슷한 것이 있습니까? 특히 내 질문은- 주어진 프로그램에 대한 명령 수를 최소화하는 알고리즘이 있습니다. 나는 그것이 결정 불가능한 문제라는 것을 알고 있지만 최적의 것을 반환하는 솔루션을 찾고 있지 않습니다. 기존 컴파일러 변환을 적용 하여이 작업을 수행 할 수는 있지만 미리 …
1
결정 론적 분산 알고리즘을 설계하면 어떤 이점이 있습니까?
장애에 탄력적 인 분산 알고리즘은 결정적이거나 확률적일 수 있습니다. 합의 문제를 예로 들어 보자. Paxos는 가정에 따라 항상 작동 한다는 의미에서 결정 론적입니다 . 대조적으로, 무작위 합의는 주어진 확률로 작동합니다. 결정 론적 알고리즘을 설계하고 사용하면 어떤 이점이 있습니까? 결정 론적 알고리즘에 의존하는 가정은 현실을 유지할 확률도 가지고있다 (이의 가정 범위 …
1
생성 세트와 제외 된 요소 세트로 순열 세트 인코딩
다항식 시간 알고리즘은 순열 그룹의 집합을 찾는 것으로 알려져 있는데,이 그룹과 관련된 많은 흥미로운 질문에 답하기 위해 다항식 시간 알고리즘을 포기하지 않고 간결하게 그룹을 나타낼 수 있기 때문에 흥미 롭습니다. 그러나 때로는 세트에 관심이있을 수 이 집합으로 표현 될 수 있도록, 그룹을 형성하지 않는 순열 R = ⟨ S ⟩ …
1
무오류 무작위 통신 복잡성 대 결정 론적 통신 복잡성
오류에 대해 랜덤 화 된 통신 복잡성 및 평균 대소 문자 정의의 최악의 경우 정의는 동일 하다는 것이 알려져있다 . 그러나 오류가 0 이면 최악의 랜덤 통신 복잡성은 결정적 통신 복잡성과 같습니다.Θ ( 1 )Θ(1)\Theta(1)000 매우 일정한 결정적인 통신 복잡성을 가지고 있지만 일정한 제로 오류 무작위 통신 복잡성을 갖는 것으로 …
2
선형화가 왜 안전 속성이고 안전 속성이 폐쇄 세트입니까?
Nancy Lynch의 "분산 알고리즘"책의 13 장 "원자 개체"에서 선형성 (원 자성이라고도 함)은 안전 속성으로 입증되었습니다. 즉 , 8.5.3 절에 정의 된대로 해당 추적 특성이 비어 있지 않고 접두사로 닫히고 한계로 닫힙니다 . 비공식적으로, 안전 속성은 종종 특정 "나쁜"일이 결코 발생하지 않는다고 말하는 것으로 해석됩니다. 이를 바탕으로 첫 번째 문제는 다음과 …
1
최대 / 플러스 링에서 컨볼 루션의 복잡성
FFT로 다항식을 더하기 / 곱하기 위해 에서 컨볼 루션을 수행 할 수 있습니다 . 그러나이 접근법은 일반적으로 링에 대해 일반화하기가 쉽지 않습니다. 최대 / 플러스 링 의 순진 컨볼 루션에 대한 진행이 있습니까?O(nlogn)O(nlog⁡n)O(n\log n)O(n2)O(n2)O(n^2) 지수화를 통해 soft-max / plus를 plus / product로 변환 할 수 있습니다. 여기서 .soft-max(x,y)=log(ex+ey)=max(x,y)+log(1+emin(x,y)−max(x,y))soft-max(x,y)=log⁡(ex+ey)=max(x,y)+log⁡(1+emin(x,y)−max(x,y))\text{soft-max}(x,y)=\log(e^x+e^y) = \max(x,y) …
1
유 방향 그래프에서 짝수 사이클 찾기
유향 그래프가 주어지면, 균일 한 길이의 유향 사이클이 포함되는지 여부를 결정하려고합니다. 의이 1,997 종이 YUSTER와 Zwick의는 문제가있는 것으로 알려져 있지 않다한다고 도 아니다 것으로 알려져있다 - 완전한.피피P엔피엔피NP 직접 그래프에서 짝수 사이클 문제의 복잡성을 해결하는 최근 결과가 있습니까?
1
사이 연루
우리가 증명할 수 있다면 , 그 의미 않습니다 N L = N P를 ?L = P엘=피\mathsf{L}=\mathsf{P}N L = N P엔엘=엔피\mathsf{NL}=\mathsf{NP} 나는 그것이 사실이라고 생각했지만 그것을 증명할 수는 없다 (또한 대화를 위해).
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.