ravensat 1.0.3 → 1.0.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 430c194a8bc6d59ba234e117839a244c0ee4bb61b507615b1a12b1d52609013c
-  data.tar.gz: e2090935ff06835501061059e47156889e13bc9afe7c3a57746958afe6c4abb0
+  metadata.gz: c1c1d5979a19db3adbe7a8541d669ace60880845f7ed0e399f915392102757b9
+  data.tar.gz: 3829e433c926fb89b6b75743301926b1aca1d9e411fed63e91757464d4601a81
 SHA512:
-  metadata.gz: 5500d691a90e8153d994db9c9fb0f5e4c0729232820fb41b7b6ddf1726a95090a783cf09c272e9459d139b2693effccb1c3e7e55625d15e269fc0595b5235327
-  data.tar.gz: 2e9f44f44ef99640f370eb2329059438670b84e743729e8d4eaa19d585cc02bab17d506c45324971b2034cba7a41af890081f03803ebb7155fafced6d5c5725f
+  metadata.gz: 4f202c5196a0c611e965675341adcb889700814d0b80883a7adfecd86c10ce278f200afe0f99c4cf859a247391e60767c59f91b64aee7420ca33c42a03cd6455
+  data.tar.gz: e73fce1a7eb44ae778099cffba247f85b832f87ee4a602299800e474fe0d76fedb76267d31caa26314a9fa93d68d1976f34b2d0c9095fa0b390ec7b13ccf4305

data/lib/ravensat/claw.rb

@@ -1,10 +1,26 @@
 module Ravensat
   module Claw
     def self.alo(bool_vars)
+      return bool_vars.first if bool_vars.size == 1
       bool_vars.reduce(:|)
     end
 
+    def self.at_most_k(bool_vars, k)
+      return bool_vars.first if bool_vars.size == 1
+      bool_vars.combination(k+1).map do |e|
+        e.map(&:~@).reduce(:|)
+      end.reduce(:&)
+    end
+
+    def self.at_least_k(bool_vars, k)
+      return bool_vars.first if bool_vars.size == 1
+      bool_vars.combination(k-1).map do |e|
+        alo(bool_vars - e)
+      end.reduce(:&)
+    end
+
     def self.pairwise_amo(bool_vars)
+      return bool_vars.first if bool_vars.size == 1
       bool_vars.combination(2).map do |e|
         e.map(&:~@).reduce(:|)
       end.reduce(:&)
@@ -12,6 +28,8 @@ module Ravensat
 
     # NOTE: Klieber, W. and Kwon, G.: Efficient CNF Encoding for Selecting 1 from N Objects (2007).
     def self.commander_amo(bool_vars)
+      return bool_vars.first if bool_vars.size == 1
+      # XXX: Operator unknown if bool_vars.size is very small.
       m = bool_vars.size / 2
       commander_variables = []
       formula = Ravensat::InitialNode.new

data/lib/ravensat/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Ravensat
-  VERSION = "1.0.3"
+  VERSION = "1.0.6"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: ravensat
 version: !ruby/object:Gem::Version
-  version: 1.0.3
+  version: 1.0.6
 platform: ruby
 authors:
 - rikuto matsuda
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-08-18 00:00:00.000000000 Z
+date: 2022-08-23 00:00:00.000000000 Z
 dependencies: []
 description:
 email: