• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

計算量の理論-下界の証明・計算量の正確な決定・最適アルゴリズムの一意性の問題

Research Project

Project/Area Number 09780257
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionThe University of Electro-Communications

Principal Investigator

垂井 淳  電気通信大学, 電気通信学部, 講師 (00260539)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 1998: ¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 1997: ¥1,400,000 (Direct Cost: ¥1,400,000)
Keywords否定数限定 / マージング / DNF / PAC learning / permutation family / permanent / ハイパーキューブ / rearrangeability / 到達可能性判定 / 領域計算量 / ブール関数 / sensitivity
Research Abstract

今年度得られた結果のいくつかを以下の簡潔に述べる。
1. 否定数限定回路でのmergingのcomplexityをかなり正確に決定することに成功した:2つの長さnのソートされた0,1列をマージするa個のNOT gateとAND,OR gateよりなる最小の回路のサイズは、a【less than or equal】log_2nのときΘ(nlog_2n/2^a)であることを示すことができた。
2. DNF式にたいして効率的PAC(Probably Approximately Correct)学習が可能かどうかという問題は、計算論学習理論における最重要な未解決問題のひとつである。この問題についてのあるアプローチの可能性と限界にてついての結果を得た:長さがmのmonomialで、ターゲットであるDNF式との相関があるものを弱学習することとboostingよってDNF式の学習を達成しようとするとき、mがn^<1/2>より小さい場合は、弱学習が不可能であり、n^<1/2>くらいまで大きくとると可能であることを示した。
3. Broder他がSTOC98で発表したMIn-wise independent permutation familyについて、その仕事で未解決問題として残されていたもののいくつかにたいしてそのようなfamily sizeにたいして上界・下界を示すことができた。
4. m by n rectangular matrix(m【less than or equal】n)のPermanentをO(n2^m+3^m)arithmetic operationsによって計算するアルゴリズムを与えた。

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (1 results)

All Other

All Publications (1 results)

  • [Publications] T.Kawabata and J.Tarui: "On Complexity of Computing the Permanent of a Rectangular Matrix" IEICE Trans actions Fundamentals. volE82-A(to appear). (1999)

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi