이론 컴퓨터 과학

나는 2 차 형태와 유사하게 2 차 형태의 제곱의 합계에 대한 체계적인 연구가 존재하는지 궁금합니다. 질문의 중요성과 관련된 몇 가지 예. 주요 성분 분석 (PCA) . 주어진 포인트 세트엑스나는∈아르 자형엔, i = 1 .. k엑스나는∈아르 자형엔,나는=1..케이x_i \in \mathbb{R^n}, i=1..k 축 세트를 찾으십시오 유1유1u_1... 유미디엄유미디엄u_m는 행렬 으로 작성되고 예상치 분산을 최소화하는 …

9 ds.algorithms  polynomials  semidefinite-programming 

I는 유한 세트가 , 함수 및 전체 순서 에 . 의 고유 사이클 수를 찾고 싶습니다 .에스SS에프: S→ Sf:S→Sf:S\to S&lt;&lt;<에스SS에스SS 주어진 요소 I는 반복적으로 적용하는주기의 길이를 찾기 위해 (또는 브렌 등의) 플로이드의 알고리즘을 사용할 수있는 전송 에 단계; 좀 더 노력하면이 사이클을 식별 할 수 있습니다 (예 : 최소 요소). …

9 graph-theory  graph-algorithms 

추가 편집 :이 질문은 이제 본질적으로 답변됩니다. 자세한 내용은 이 블로그 항목 을 참조하십시오. 의견과 답변을 게시 한 모든 사람에게 감사합니다. 원래 질문 이것은 내가 MathOverflow에 대해 물었던 질문 의 희망적으로 더 똑똑하고 더 나은 정보 입니다. 제가 그 질문을했을 때, 저는 문제가있는 수학 영역의 이름조차 몰랐습니다. 이제는 그것이 부분 …

9 co.combinatorics 

캐시를 모르는 알고리즘과 데이터 구조에 대해 더 많이 배우는 데 흥미가 있지만 시작점이 어디인지 모르는 논문이 너무 많습니다. 나는 주제에 대한 Prokup의 독창적 인 논문을 찾았습니다. 좋은 출발점처럼 보이지만 주제에 대한 간단하고 접근 가능한 소개가 있다면 훨씬 더 시작하겠습니다. 주제에 대한 표준 "go-to"참조가 있습니까? 감사!

9 ds.algorithms  reference-request  cache-oblivious 

나는 나무의 큰 데이터 세트를 가지고 내가 지정하여 검색하고자하는 treelet (연결 서브 그래프 참조). 쿼리는 데이터 집합에서 트리 릿의 모든 발생을 반환해야합니다. 효율적인 알고리즘이 있습니까? 서 픽스 배열과 같은 것을 생각하고 있었지만 검색 트리 릿은 임의의 모양이 될 수 있기 때문에 순진하게 트리를 문자열로 (노드의 고정 순회 순서에 따라) 작동하지 …

9 graph-algorithms  ds.data-structures  tree  graph-isomorphism  string-search 

미국의 CS 박사후 연구원을위한 연간 평균 간행물 수 (회의 진행 내용 포함)는 얼마입니까? 이 숫자를 찾거나 추정하는 방법은 무엇입니까?

9 soft-question  advice-request  research-practice  career 

최근에 λ- 미적분학의 기초를 가르치면서 Common Lisp에서 간단한 λ- 미적분학 평가자를 구현했습니다. Y fac 3정상 순서 축소 의 정상적인 형태를 물으면 619 단계가 걸리며, 이는 약간 많이 보입니다. 물론, 종이에서 비슷한 감소를 할 때마다 나는 형식화되지 않은 λ- 미적분학을 사용하지 않았지만 그 위에 숫자와 함수를 추가했습니다. 이 경우 fac는 다음과 …

9 lo.logic  lambda-calculus 

차트 파서는 Chomsky 표준 양식을 기반으로 또는 생산 규칙을 ​​기반으로 직접 구현할 수 있습니다. 현재 Chomsky 표준 양식을 사용하는 CYK 차트 파서가 있다고 가정합니다. 이진화는 고유하게 정의되지 않았습니다. 이는 CYK 차트 구문 분석의 성능에 영향을 줍니까? CYK 차트 파서의 성능을 향상시키기 위해이를 활용할 수 있습니까?

9 fl.formal-languages  parsing 

그래서 저는 정교함, 특히 Bicolored Calculus of Construction을 기반으로 한 알고리즘에 대해 약간 읽고 있습니다. 의 목적이 정확히 무엇인지 이해하지 못합니다 . 함수에 대한 암시 적 인수와 명시 적 인수 사이에 차이가 있다는 점을 제외 하면 동일 해 보입니다 . 특히 대신 을 쓰는 방법을 알지 못합니다 . 전역 정의 …

9 type-theory  lambda-calculus  type-inference  dependent-type 

꼭지점 이있는 단위 디스크 그래프 세트의 카디널리티에 바운드하고 싶습니다 . 그래프가이 세트의 멤버인지 확인하는 것은 NP-hard 인 것으로 알려져 있습니다. 이것이 P NP를 가정하면 카디널리티의 하한으로 이어 집니까?NNN≠≠\neq 예를 들어 꼭짓점 이있는 모든 그래프에 순서가 있다고 가정 합니다. NP-hardness가 카디널리티가 초과한다는 것을 의미 합니까? 그렇지 않으면 세트를 통해 이진 검색을 …

9 cc.complexity-theory  graph-theory 

허락하다 AAA ~이다 3×33×33 \times 3 또는 4×44×44 \times 4 항목이있는 행렬 aijaija_{ij}. 누군가 나에게 행렬을 제공 할 수 있습니까?BBB 그래서 per(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)? \ operatorname {per} (A) = \ det (B) 와 같이 알려진 가장 작은 명시 적 는 무엇입니까 ? 명백한 예를 가진 이것에 대한 언급이 있습니까?BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = …

9 cc.complexity-theory  algebraic-complexity  permanent 

올바른 방향으로 시작할 수있는 조언이나 용어에 감사드립니다. 양으로 가정 할 수있는 각 모서리 에 대해 유향 그래프 및 길이 가 있습니다. 특별한 시작 노드가 최종 노드 .G = ( V, E)지=(V,이자형)G=(V,E)엘나는 j엘나는제이l_{ij}나는 j나는제이ij에스에스s티티t 각 모서리를 들어 , 우리의 최단 경로의 길이를 계산하고 싶습니다 에 가장자리 사용하지 않는 .나는 j나는제이ij에스에스s티티t나는 j나는제이ij …

9 ds.algorithms  reference-request  graph-algorithms 

이산 인테리어 (사면체 점유율 전용면 케이되도록 사면체와의 연결 집합으로 3 차원 메쉬를 정의 ). 임의의 그래프가 주어지면 메쉬로 포함 될 수 있는지 테스트하는 효율적인 절차가 있습니까?k ≤ 2케이≤2k \le 2 여기에 포함은 점에 대한 그래프의 정점 과 직선에 대한 가장자리 의 매핑으로 , 모서리는 꼭짓점에서만 교차하고면은 모서리에서만 교차하며 내부에서 두면은 …

9 ds.algorithms  graph-theory 

에서 Capacitated 시설 위치 문제 (CFLP) , 우리는 고객의 집합을 부여씨씨C 그리고 잠재적 인 시설들 에프에프F. 각 고객j ∈ C제이∈씨j \in C 수요가있다 디제이디제이d_j하나 이상의 개방 된 시설에서 제공해야합니다. 각 시설나는 ∈ F나는∈에프i \in F 시작 비용이있다 에프나는에프나는f_i 용량이 있습니다 유나는유나는u_i이는 시설의 최대 수요입니다. 나는나는i봉사 할 수 있습니다. 고객의 한 …

9 ds.algorithms  cg.comp-geom  approximation-algorithms 

답변이 제공되지 않았으므로이 질문을 커뮤니티 위키로 변환하도록 요청하는 플래그가 설정되었습니다. Aaron Sterling, Sasho Nikolov 및 Vor의 의견은 커뮤니티 위키 토론을 위해 열린 다음 해결책으로 종합되었습니다. 해결 : 숫자, 샘플 또는 시뮬레이션 궤적을 출력하는 클래식 알고리즘과 관련하여 엄격한 수학 논리를 사용하려면 다음 제안 중 네 가지 제안을 모두 수락하거나 적용하지 않아야합니다. …

9 quantum-computing  program-verification  sample-complexity