| Budget Amount *help |
¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2011: ¥1,495,000 (Direct Cost: ¥1,150,000、Indirect Cost: ¥345,000)
Fiscal Year 2010: ¥1,625,000 (Direct Cost: ¥1,250,000、Indirect Cost: ¥375,000)
|
|---|
| Research Abstract |
We have written two papers concerned with the linear programming based method for formula size lower bounds after polishing its theoretical result. One is accepted for publication in a journal(Theoretical Computer Science), and the other is presented at an international conference(MFCS 2010). We also defined an extended formula model and give a theoretical analysis on its complexity. The paper concerned with this result is accepted and will be presented at an international conference(COCOON 2012). Furthermore, we have analyzed candidate Boolean functions towards super-quadratic formula size lower bounds and completed a paper.
|
