이론 컴퓨터 과학

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

6
압축 감지의 아날로그
에서는 압축 센싱 상기 목적은 입력 신호 (이하 "스케치") 압축으로부터 효율적으로 회수 할 수 있도록하는 것이, 희소 표현이 알려진 큰 입력 신호에 대해 선형 압축 방식을 찾는 것이다. 보다 공식적으로 표준 설정은 신호 벡터 이 이고 압축 표현은 Ax 와 같고 여기서 A 는 R x n 실수라는 것입니다 R …
9
책에서 감축.
이것은 " 책에서 알고리즘 "의 라인을 따라 입니다. 축소도 알고리즘이지만,이 책의 알고리즘에 대한 질문에 대한 응답이 축소 될 것이라고 생각하는 것은 의심 스럽다. 따라서 별도의 쿼리! 모든 종류의 감소는 가장 환영합니다. 먼저 정점 표지에서 별에 대한 다중 컷으로의 간단한 축소로 시작하겠습니다. 감소는 소스 문제가 확인되면 거의 그 자체로 제안됩니다 (그 …
7
DNF가 아닌 SAT에 CNF가 사용되는 이유는 무엇입니까?
거의 모든 SAT 솔버가 DNF 대신 CNF를 사용하는 이유를 잘 모르겠습니다. DNF를 사용하면 SAT를 해결하는 것이 더 쉬운 것 같습니다. 결국, 당신은 단지 일련의 함축을 스캔하고 그들 중 하나가 변수와 그 부정을 모두 포함하지 않는지 확인해야합니다. CNF의 경우 이와 같은 간단한 절차는 없습니다.
8
경로상의 NP-hard 문제
모든 사람들은 일반적인 그래프에 NP-hard 인 많은 결정 문제가 있다는 것을 알고 있지만 기본 그래프가 경로 일 때 NP-hard 인 문제에 관심이 있습니다. 그렇다면 그러한 문제를 해결하도록 도와 줄 수 있습니까? 이미 나무의 NP-hard 문제에 대한 관련 질문을 찾았습니다 .
5
의 확률에 대한 영향
나는 " P 대 NP 공식적으로 독립인가? "를 읽고 있었지만 당황했습니다. 라는 복잡한 이론이 널리 알려져 있습니다. 내 질문은 이것이 가능하지 않은 경우 ( )에 관한 것입니다. ( 는 독립적 이지만 이것이 어떻게 증명되는지에 대한 추가 정보는 없다고 가정합니다.) Z F C P ≠ N P Z F CP ≠ …
2
문맥에 맞지 않다고 증명할 수없는 언어
"컨텍스트가없는"언어를 찾고 있지만 알려진 표준 기술을 사용하여 언어를 증명할 수는 없습니다. 최근 회의에서 주제에 대한 최근 조사 또는 공개 문제 섹션이 있습니까? 아마도 CF로 알려지지 않은 언어는 많지 않을 것입니다. 따라서 하나를 아는 경우 답변으로 게시 할 수도 있습니다. 내가 찾은 예는 다음과 같습니다. 기본 단어 의 잘 알려진 언어 …
1
행렬 문제의 복잡성
최근에 연구에 다음과 같은 문제가 나타났습니다. 알고리즘 질문에 대한 전문가가 아니기 때문에 적절한 문제를 찾기 위해 Google에서 광범위하게 검색했습니다. 나는 3SAT가 어떻게 작동하는지 알지 못하며, ZOE가 정신적으로 유사하더라도 감소가 분명하지 않습니다. 또 다른 가능성은 실재의 실존 이론 일 것이다. 그것은 일치하는 것 같지 않지만 나는 그것에 대해 틀릴 수 있습니다. …
1
어떤 정규식
다음과 같은 문제는 PSPACE-complete라는 것이 잘 알려져 있습니다. 정규식 감안 , 수행 ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ※L(β)=Σ∗L(\beta) = \Sigma^* 어떤 다른 (고정) 정규 표현식 동등성을 확인하는 방법에 대한 ?αα\alpha 정규 표현식을 감안할 때 , 수행 ?L ( β ) = L ( α )ββ\betaL …
5
1 인칭 단수로 단일 저자로 논문 작성
나는 이론적이지 않은 컴퓨터 과학으로 논문을 쓰고 있는데 때때로 익명이 아닌 단일 저자가되었습니다. 이전에는 다음과 같은 논문에서 1 인칭 복수형을 사용했습니다. 복잡성 클래스 X와 Y가 일치 함을 보여줍니다. 나는 영어를 모국어로 사용하는 사람도 아니고 영어를 능숙하게 구사하지도 않습니다. 최근에 나는 영어를 모국어로 사용하는 사람 (과학에 있지만 컴퓨터 과학자는 아니지만)으로부터 1 …
4
실제로 반 직관적으로 해결할 수있는 문제?
최근 에는 알고리즘이나 복잡성에 대한 공식적인 과정을 밟지 않은 젊은 재능있는 자율 프로그래머에게 계산 복잡성의 개념을 비공식적으로 설명 하는 고통스러운 재미있는 경험을 겪었습니다. 놀랍게도 많은 개념이 처음에는 이상해 보였지만 일부 예 (PTIME, 난치도, 계산 불가능 성)에서는 의미가있는 반면, 다른 개념은 더 자연스럽게 보입니다 (감소, 시간과 공간을 자원으로하여 문제를 분류하는 것, …
1
의 뚜렷한 차이 수
연구 중에 다음과 같은 결과가 발생했습니다. 임n → ∞E [ # { | 에이나는− aj| ,1≤i,j≤m}엔] =1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 여기서 m = ω ( n−−√)m=ω(n)m=\omega(\sqrt n) 및 에이1, ⋯ ,엠a1,⋯,ama_1,\cdots,a_m 은 [n] 에서 임의로 선택됩니다 [ n ][n][n]. 참조 / 직접 증거를 찾고 …
3
“중간 트릭”을 더 높은 차원으로 일반화합니까?
실제 값을 취하는 랜덤 알고리즘 경우, "중간 트릭"은 곱하기 의 비용으로 실패 확률을 임계 값 으로 줄이는 간단한 방법입니다. 오버 헤드. 즉, 의 출력이 (적어도) 인 확률 로 "좋은 범위" 하면 독립적 인 사본 이고 출력 의 중앙값을 취하면 Chernoff / Hoeffding 경계에 의해 최소 확률로 의 값이 떨어 집니다.에이A\mathcal{A}δ> …
1
P는 모든 초 다항식 시간 클래스의 교차점과 동일합니까?
f(n)f(n)f(n) c > 0limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 모든 언어 L \ in {\ mathsf P}에 대해 모든 초 다항식 시간 바운드 f (n)에L∈PL∈PL\in {\mathsf P} 대해 L \ in {\ mathsf {DTIME}} (f (n)) 이 있음이 분명합니다 . 나는이 진술의 대화가 사실인지 궁금합니다. 우리가 알고있는 경우 즉, 의 L를 \ {\ mathsf …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.