The Recode of the sat-problem

2014 07 11

   Do it in the room before get the holiday,and set up a little software and prepare to the lab.

2014 07 18

   Solve the problem with theintel_way.

1. Using the local search to getthe max value before the ML;

2. Collect the data about (xi, yi)and builds the function which can predict the value of xi according to yi, inorder to control the value of x in [0, 1], we using the 0-1 function(1/(1+e^y)),(Sometimes, people use (e^tanx-e^-tanx)/(e^tanx+e^-tanx))

3.10*10*100 data

2014 07 25

   Main in the GSA.

1. Plane way

  2. Cube way

  3. Test data only few, maybe less than 6

  4. Easy to local in the local_best, andusually get into the 377-382 when m=400.

 The main alg was count the F one planet get,and count it’s ‘a’ for its power.

Adv. We can usethe walk sat, and also, we need to better it.

   Gathering way.

Read Data;

數據相關性分析

More think:

求最大覆蓋性問題,每個元素覆蓋n個子句,求任意組合的n個元素所能做出的最大覆蓋問題,

構造一個子句被覆蓋的所有元素,再根據最少被覆蓋的子句開始

 

猜測->搜索->預測->驗證->學習(再作用)->(中間狀態)->預測->驗證

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章