Merge pull request #67 from DeveloperPaul123/feature/rfp

feat: add reverse futility pruning
bench: 760228

Author: DeveloperPaul123

engine/src/search.rs

@@ -4,7 +4,7 @@
  * Created Date: Thursday, November 21st 2024
  * Author: Paul Tsouchlos (DeveloperPaul123) ([email protected])
  * -----
- * Last Modified: Wed Dec 18 2024
+ * Last Modified: Tue Mar 25 2025
  * -----
  * Copyright (c) 2024 Paul Tsouchlos (DeveloperPaul123)
  * GNU General Public License v3.0 or later
@@ -33,6 +33,7 @@ use crate::{
     score::{LargeScoreType, Score, ScoreType},
     traits::Eval,
     ttable::{self, TranspositionTableEntry},
+    tuneable::{MAX_RFP_DEPTH, RFP_MARGIN},
 };
 use ttable::TranspositionTable;
 
@@ -345,6 +346,11 @@ impl<'a> Search<'a> {
             }
         }
 
+        // can we prune the current node with something other than TT?
+        if let Some(score) = self.pruned_score(board, depth, ply, alpha, beta) {
+            return score;
+        }
+
         // get all legal moves
         let mut move_list = MoveList::new();
         self.move_gen.generate_legal_moves(board, &mut move_list);
@@ -462,6 +468,43 @@ impl<'a> Search<'a> {
         best_score
     }
 
+    /// Checks to see if the current node can be pruned. If it can, returns the score. Otherwise returns None.
+    ///
+    /// # Arguments
+    ///
+    /// - `board` - The current board state.
+    /// - `depth` - The current depth.
+    /// - `beta` - The current beta value.
+    ///
+    /// # Returns
+    ///
+    /// The score of the position if it can be pruned, otherwise None.
+    fn pruned_score(
+        &self,
+        board: &Board,
+        depth: i16,
+        ply: i16,
+        alpha: Score,
+        beta: Score,
+    ) -> Option<Score> {
+        let is_pv_node = ply == 0 || beta - alpha > Score::new(1);
+
+        // no pruning if we are in check or if we are in a PV node
+        if board.is_in_check(&self.move_gen) || is_pv_node {
+            return None;
+        }
+
+        let static_eval = self.eval.eval(board);
+        // Reverse futility pruning
+        // https://cosmo.tardis.ac/files/2023-02-20-viri-wiki.html
+        // https://www.chessprogramming.org/Reverse_Futility_Pruning
+        // If the static evaluation is very high and beats beta by a depth-dependent margin, we can prune the move.
+        if depth <= MAX_RFP_DEPTH && static_eval - RFP_MARGIN * depth > beta {
+            return Some(static_eval);
+        }
+        None
+    }
+
     /// Implements [quiescence search](https://www.chessprogramming.org/Quiescence_Search).
     /// We use this to avoid the horizon effect. The idea is to evaluate quiet moves where there are no tactical moves to make.
     ///

engine/src/tuneable.rs

@@ -4,7 +4,7 @@
  * Created Date: Wednesday, December 11th 2024
  * Author: Paul Tsouchlos (DeveloperPaul123) ([email protected])
  * -----
- * Last Modified: Thu Dec 12 2024
+ * Last Modified: Tue Mar 25 2025
  * -----
  * Copyright (c) 2024 Paul Tsouchlos (DeveloperPaul123)
  * GNU General Public License v3.0 or later
@@ -16,3 +16,6 @@ use crate::score::ScoreType;
 
 pub(crate) const MIN_ASPIRATION_DEPTH: ScoreType = 1;
 pub(crate) const ASPIRATION_WINDOW: ScoreType = 50;
+
+pub(crate) const MAX_RFP_DEPTH: ScoreType = 4;
+pub(crate) const RFP_MARGIN: ScoreType = 82;