«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

2
카디널리티 술어와 함께 경계 cliquewidth의 그래프에서 MSOL 최적화 문제
CMSOL은 Monadic Second Order Logic을 계산합니다. 즉, 도메인이 꼭짓점과 가장자리의 집합 인 그래프의 논리입니다. 꼭짓점-정점 인접성 및 가장자리-정점 발생률에 대한 술어가 있으며 가장자리, 꼭짓점, 가장자리 세트 및 꼭짓점에 대한 수량 화가 있습니다. 세트하고있다 술어 하는 크기 여부 표현 이고 n은 모듈로 P .SnpCardn,p(S)Cardn,p(S)\textrm{Card}_{n,p}(S)SSSnnnppp Courcelle 유명한 정리 된 경우한다고 ΠΠ\Pi 그래프의 …
2
LP의 최소 최대 솔루션
물론 선형 프로그래밍은 오늘날 매우 잘 이해되고 있습니다. 우리는 실현 가능한 솔루션의 구조와 최적의 솔루션의 구조를 특징 짓는 많은 일을했습니다. 우리는 강력한 이중성, 다중 시간 알고리즘 등을 가지고 있습니다. 그러나 LP의 최소 최대 솔루션 에 대해 알려진 것은 무엇 입니까? 아니면 최대 최소 솔루션입니까? (이것은 실제로 연구 문제는 아니지만 공휴일에는 …
10
P 대 NP 문제에 대해 배울 수있는 자료
나는 최근 Clay Mathematics Institute의 Stephen A. Cook이 설명한 대 N P 문제 에 대해 상기시켰다 .피P\mathsf{P}N PNP\mathsf{NP} 그것은 내 관심을 끌었고 그것에 대해 더 많이 배우고 싶습니다. 첫 번째 단계는 문제에 대한 더 깊은 이해와 일반적으로 해당 영역에 대한 이해를 얻는 것입니다. 문제에 대해 더 자세히 배울 수있는 책이나 …
3
알고리즘이 균일하게 임의의 솔루션을 반환함으로써 달성되는 최상의 근사화 비율의 문제점은 무엇입니까?
균일하게 랜덤 한 솔루션을 반환하는 알고리즘에 의해 가장 잘 알려진 근사치 비율의 문제점은 무엇입니까? 나는 순열 흐름 상점 문제 대한 하나의 예를 알고있다 : " 순환 흐름 상점 예약을위한 꽉 바운드 "Viswanath Nagarajan 및 Maxim Sviridenko 논문에서 임의의 작업 순서가 현재 가장 잘 알려진 ( 컴퓨터 수 및 작업 수).F|perm|CmaxF|perm|CmaxF|perm|C_{max}2min{m,n}−−−−−−−−−√2min{m,n}2\sqrt{min\{m,n\}}mmmnnn
7
제어 이론과 이론 컴퓨터 과학의 학제 간 주제
나는 2 년째에 MSC에서 TCS와 너무 관련이없는 것으로 생각합니다. 기본적으로 제어 이론, 신호 및 시스템에 관한 것이며 고급 시스템 (강건, 비선형, 최적, 확률 적), 고급 신호 처리 및 볼록 최적화에서 수업을 들었습니다. 논문 논문을 다루는 데 도움이되는 좋은 영역을 찾으려고 노력하고 있으며 어떻게하면 TCS 주제와 관련이 있는지 궁금합니다. 내가 생각할 …
2
MAJORITY의 최소 회로 폭
MAJ 계산을위한 에서 회로의 최소 트리 폭은 {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\}얼마입니까? 여기 MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} 의 입력들 중 적어도 절반은 IFF에 1을 출력한다 111 . 나는 회로의 크기 (다항식이어야 함) 만 신경 쓰며 입력 게이트의 팬 아웃은 임의적 일 수 있지만 입력은 한 번만 읽어야합니다 (이것은 회로의 트리 폭에 영향을 미칩니다-분기) 왜곡 …
2
유니버스 계층 구조로 유전 대체
나는 간단한 람다 미적분학 과 논리 체계 를 구별하는 용어와 유형을 가진 유전 적 대체에 대해 읽었습니다 . 궁금합니다. 우주 계층 구조를 사용하는 종속 형식 시스템에서 유전 대체의 예가 있습니까? 즉, 여기서 True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 등 특히 그러한 시스템에서 유도 측정을 설정하는 방법이 궁금합니다. 간단하게 입력 된 …
1
정규 언어 포함의 매개 변수화 된 복잡성
나는 고전적인 문제 정규 언어 포함에 관심이 있습니다. 정규 표현식 주어지면 , 우리는 그와 관련된 정규 언어 를 로 표시합니다. (일반 표현식은 고정 알파벳 에 있으며 조합, Kleene-star 및 연결이 있습니다.)L ( E ) Σ이자형EE패 ( E)L(E)L(E)ΣΣ\Sigma 입력 : 두 정규 표현식 및 질문 : 그것은 사실이다 ?E 2이자형1E1E_1이자형2E2E_2 패 …
2
Monadic 클래스의 최첨단?
결정 문제의 Monadic Class라고도하는 Monadic First Order Logic은 모든 술어가 하나의 인수를 취하는 곳입니다. Ackermann이 결정할 수있는 것으로 나타 났으며 NEXPTIME-complete 입니다. 그러나 SAT 및 SMT와 같은 문제는 이론적 인 한계에도 불구하고이를 해결하기위한 빠른 알고리즘을 가지고 있습니다. 궁금합니다. 모나 딕 1 차 로직에 대한 SAT / SMT와 유사한 연구가 있습니까? …
1
과 같은 함수
하자 언어 될 F : Σ ⋆ × Σ ⋆ → Σ ⋆ 속성 두 파라미터의 함수 모두를위한 X 및 Y , F 의 복귀 원소 L 경우에만, 두 X 및 Y는 의 요소 L :엘엘L에프: Σ⋆× Σ⋆→ Σ⋆에프:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\star엑스엑스x와이와이y에프에프f엘엘L엑스엑스x와이와이y엘엘L 에프( x , y) ∈ L⟺x ∈ L ∧ y∈ …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.