src/turing-omnibus/monte-carlo.lisp @ 6494ca97e78b
BDDs/ZDDs -> Scully
author |
Steve Losh <steve@stevelosh.com> |
date |
Sun, 13 Aug 2017 00:09:56 -0400 |
parents |
de58fc1af1e5 |
children |
bc8ed2a9b4c0 |
(in-package :sand.turing-omnibus.monto-carlo)
;;;; From The New Turing Omnibus, Chapter 4
(defun frequency (alpha time)
(* (/ alpha)
(exp (- (/ time alpha)))))
(defun cumulative-frequency (alpha time)
(- 1 (exp (- (/ time alpha)))))
(defun inverse-cumulative-frequency (alpha x)
(* alpha (log (- 1 x))))
;; Something is fucky with the above inverse function given by the book... `α
;; ln(1 - x)` will always give a negative result (for x in [0, 1)), so how can
;; we use it as a number of seconds to wait?
; (defun simulate (1000)
; (let ((max-time )))
; )
; (gnuplot-function (curry #'inverse-cumulative-frequency 1.0)
; :start 0.0
; :end 1.00
; :step 0.1)