最近在coursera上學了 離散優化建模，裡面介紹了minizinc這個建模語言，個人覺得比較新奇
關於變數
其中引數類似於其他語言中的常量，只能在程式開始的時候被賦值而且只能被賦值一次
決策變數相當於其他語言中普通的可變變數
可以看到，minizinc對於變數宣告方式也是比較特殊的，形式為變數型別描述:變數名稱
當然，這兩個分類只是從變數是不是常量的角度劃分的
minizinc像其他語言一樣，支援整數、浮點，陣列、字串、列舉、集合等型別
比如生成乙個大小為10的int型別陣列
學習筆記 雜湊學習筆記
hash基本原理 hash就是乙個像函式一樣的東西，你放進去乙個值，它給你輸出來乙個值。輸出的值就是hash值。一般hash值會比原來的值更好儲存 更小 或比較。那字串hash就非常好理解了。就是把字串轉換成乙個整數的函式。而且要盡量做到使字串對應唯一的hash值。它的主要思路是選取恰當的進製，可以...
學習筆記 CentOS 學習筆記01
簡單的做個課堂筆記 虛擬機器用的是vmware，系統是centos cd etc sysconfig network scripts pwdls 顯示列表 cat ifcfg eth0 檢視檔案內容 vi ifcfg eth0 進入vi編輯器 onboot no 原始設定 x逐字刪除 d刪除整行 a...
筆記 spring cloud 學習筆記
1 spring cloud 是什麼 spring cloud為開發人員提供了快速構建分布式系統中一些常見模式的工具 例如配置管理，服務發現，斷路器，智慧型路由，微 控制匯流排 分布式系統的協調導致了樣板模式,使用spring cloud開發人員可以快速地支援實現這些模式的服務和應用程式。他們將在任...