이론 컴퓨터 과학

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

4
그래프의 파벌 수 : Moon and Moser 1965 결과
나는 Moon and Moser 1965 clique 결과 On Cliques in Graphs 의 전체 텍스트를 찾고 있습니다 ( 많은 최대 클릭 지수가있는 그래프가 있습니다 ). 우리 대학의 월급은 특정 저널에 액세스 할 수 없습니다. (사실, 미리보기 는 증거의 처음 몇 문장을 제공하지만 나머지는 나에게 남기지 않습니다!)nnn 나는 추구하고있는 연구 방향과 관련된이 …
3
CS의 연구 영역을 M.Tech에서 PhD로 전환하는 것이 얼마나 쉬운가요?
나는 다소 힘든 딜레마에 직면하고있다 :- 2 년 전 CS에서 M.Tech를 수료하고 VLSI Testing 분야에서 논문을 완성했습니다. 저의 연구를 좋아하지만 박사 학위를 받기 위해 돌아가고 싶지 않습니다. 박사 학위를 받기위한 이론적 과정 (근사 / 온라인 알고리즘)을 추구하고 싶었습니다. 그러나 TCS (Theorytical Computer Science)에 대한 연구 경험이 없었기 때문에 미국에서 합리적으로 …
3
"실제"컴퓨터 프로그램의 계산 경도
라이스 정리 때문에 웹 브라우저 나 워드 프로세서 또는 운영 체제에서 버그를 잡는 프로그램을 작성할 수 없다는 말을 자주 들었습니다. 그러나 실제 운영 체제와 같은 실제 프로그램에 어느 정도까지 적용되는지는 확실하지 않습니다. 이러한 유형의 프로그램에는 튜링 완성도의 완전한 힘이 필요합니까? 이러한 응용 프로그램을 작성할 수있는 간단한 계산 모델 (예 : …
2
FO 속성은 언제 NL- 경도를 제거합니까?
맥락 : 우리는 오직 digraph 만 고려한다. CYCLE을주기가있는 그래프의 언어로 지정하십시오. NL 완료 문제입니다. HASEDGE를 하나 이상의 모서리가있는 그래프의 언어로 설정하십시오. 그런 다음 사소한 는 더 이상 NL 하드가 아니며 CYCLE ∪ ¯ HASEDGE 는 그대로 유지됩니다.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} 실제 문제 : 언어 는 여전히 NL-hard입니다.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, …
3
네트워크 분석을위한 쌍 근사치 개선
네트워크에서 상호 작용을 고려할 때는 일반적으로 역학을 분석적 으로 계산하기가 매우 어렵고 근사치가 사용됩니다. 평균 필드 근사값은 일반적으로 네트워크 구조를 완전히 무시하기 때문에 좋은 근사값은 거의 없습니다. 인기있는 근사법은 쌍 근사법으로, 인접 노드 사이의 고유 한 상관 관계를 고려합니다 (직관적으로 우리는 가장자리의 평균 필드 근사치 유형으로 생각할 수 있습니다). Cayley …
1
P 완성 언어의 밀도
이 { 0 , 1 } 이상의 유한 문자열로 된 부울 언어 라고 가정하십시오 . 하자 L를 n은 문자열의 숫자 L 길이 없음 . 기능을 위해 D ( N ) 양의 실수의 양의 정수에서, L은 가지고 상부 밀도 D ( N ) 의 경우 L , N을 ≤ 2 N …
2
일반적으로 암호 전문가는 선형 피드백 시프트 레지스터를 사용하지 않습니까?
Katz와 Lindell은 그들의 책 에서 LFSR이 의사 난수 발생기의 기초로 끔찍하다고 언급했으며 더 이상 사용하지 않을 것을 주장합니다 (물론 사람들은 스트림 암호 대신 블록 암호를 사용하는 것이 좋습니다). 그러나 예를 들어 estream 포트폴리오의 암호 중 하나 ( Grain , 하드웨어를 대상으로 함)가 LFSR을 사용하므로 LFSR이 좋지 않다는 의견은 합의가 아닙니다. …
1
다면체를 균등하게 분할하는 절단면 찾기
표준 형태의 다면체가 있다고 가정 해보십시오. Ax=bx≥0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} 하이퍼 플레인의 각면에있는 정점의 수가 거의 같은 방식으로 다면체를 분할 하는 하이퍼 플레인 을 찾는 알려진 방법 이 있습니까? (즉, 분할의 양쪽에서 정점 카디널리티의 절대 차이를 최소화하는 알고리즘).dx+d0=0dx+d0=0\mathbf{d} \mathbf{x} +d_0= 0 또한이 문제의 …
2
DP의 중요 SAT 변형
언어 클래스에 D P 개의 언어가있다 IFF에 L 1 ∈ N P 및 L 2 ∈ C O N P 되도록 L = L (1) ∩ L 2L엘LDP디피DPL1∈NP엘1∈엔피L1 \in NPL2∈coNP엘2∈씨영형엔피L2 \in coNPL=L1∩L2엘=엘1∩엘2L = L1 \cap L2 정규 - 완전한 문제는 SAT-UNSAT이되는 두 개의 3-CNF 식, 주어진 F 와 G를 , …
1
팩터링 주요 제품을 정수 제품 팩토링으로 줄이기 (평균 경우)
제 질문은 팩토링의 경도를 기반으로 구성 할 수있는 다양한 후보 단방향 함수의 보안성에 관한 것입니다. 의 문제를 가정 인수 [주어 임의의 소수에 대한 P , Q &lt; 2 N 찾아 P , Q를 .]엔= P큐N=PQN = PQ피, Q &lt; 2엔P,Q&lt;2nP, Q < 2^n피PP큐QQ 무시할 수없는 확률로 함수를 다항식 시간으로 풀 …
1
수축이 그래프의 호 수를 최소화하는 일치 항목 찾기
혼합 그래프 주어 G=(V,E,A)지=(V,이자형,ㅏ)G=(V,E,A) 가장자리 E이자형E 원호 AㅏA 에서 매칭 발견 E이자형E 그 최소화에 아크의 수 G/M지/미디엄G/M , G/MG/MG/M 로부터 얻어지는 GGG 유사한 정점 수축 및 제거를 평행 호. 이 문제의 결정 버전이 NP- 완전합니까? 그것은 문헌에서 연구 되었습니까?
3
문자열에서 순열 패턴 일치
느슨하게 말해서 순열 패턴 일치는 다음과 같은 종류의 문제를 처리합니다. 감안 순열 의 S , N 및 σ 에 S의 m 과 m ≤ N , 않는 π 함유 서브 시퀀스 τ 길이의 m 요소에 따라 정렬 σ를 ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm≤nm≤nm\leq nππ\pi ττ\taummmσσ\sigma 예를 들어, 및 σ = ⟨ 2 1 3 …
7
TCS에 사전 문서 직책이 있습니까?
이 위치는 같은 일에 연구의 기록과 최근 졸업 학사 또는 석사 학생을위한 연구 자신의 박사 학위에 커밋하기 전에? TCS는 최근 박사 학위 소지자들이 교수직을 신청하기 전에 연구를 할 수있는 박사후 연구 문화를 가지고 있습니다. 학사 또는 석사 학생들이 박사 학위를 신청하기 전에 연구를 수행 할 수있는 유사한 메커니즘이 있습니까? 특히, …
1
PCF에서 연속성 계수의 정의 불가능성에 대한 참조?
누군가가 PCF에서 연속성 계수의 비 정의 가능성에 대한 참조를 지적 할 수 있습니까? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} 안드레이 바우어 (Andrej Bauer)는 몇 가지 문제에 대해 자세히 살펴 보는 아주 멋진 블로그 게시물 을 작성 했지만이 질문에 대한 문맥을 빌려주기 위해 그의 게시물 중 일부만 요약하겠습니다. Baire 공간 는 자연수 시퀀스의 집합이거나 자연수에서 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.