feature_histogram.hpp 33.9 KB
Newer Older
Guolin Ke's avatar
Guolin Ke committed
1
2
3
#ifndef LIGHTGBM_TREELEARNER_FEATURE_HISTOGRAM_HPP_
#define LIGHTGBM_TREELEARNER_FEATURE_HISTOGRAM_HPP_

Guolin Ke's avatar
Guolin Ke committed
4
#include <LightGBM/dataset.h>
5
#include <LightGBM/utils/array_args.h>
Guolin Ke's avatar
Guolin Ke committed
6

7
#include <algorithm>
8
#include <cmath>
9
10
11
12
13
14
#include <cstring>
#include <memory>
#include <utility>
#include <vector>

#include "split_info.hpp"
Guolin Ke's avatar
Guolin Ke committed
15

16
namespace LightGBM {
Guolin Ke's avatar
Guolin Ke committed
17

Guolin Ke's avatar
Guolin Ke committed
18
class FeatureMetainfo {
Nikita Titov's avatar
Nikita Titov committed
19
 public:
Guolin Ke's avatar
Guolin Ke committed
20
  int num_bin;
Guolin Ke's avatar
Guolin Ke committed
21
  MissingType missing_type;
22
  int8_t bias = 0;
Guolin Ke's avatar
Guolin Ke committed
23
  uint32_t default_bin;
Guolin Ke's avatar
Guolin Ke committed
24
  int8_t monotone_type;
Guolin Ke's avatar
Guolin Ke committed
25
  double penalty;
Guolin Ke's avatar
Guolin Ke committed
26
  /*! \brief pointer of tree config */
Guolin Ke's avatar
Guolin Ke committed
27
  const Config* config;
28
  BinType bin_type;
Guolin Ke's avatar
Guolin Ke committed
29
};
Guolin Ke's avatar
Guolin Ke committed
30
31
32
33
/*!
* \brief FeatureHistogram is used to construct and store a histogram for a feature.
*/
class FeatureHistogram {
Nikita Titov's avatar
Nikita Titov committed
34
 public:
Guolin Ke's avatar
Guolin Ke committed
35
  FeatureHistogram() {
Guolin Ke's avatar
Guolin Ke committed
36
    data_ = nullptr;
Guolin Ke's avatar
Guolin Ke committed
37
  }
Guolin Ke's avatar
Guolin Ke committed
38

Guolin Ke's avatar
Guolin Ke committed
39
40
41
  ~FeatureHistogram() {
  }

Guolin Ke's avatar
Guolin Ke committed
42
43
44
45
46
  /*! \brief Disable copy */
  FeatureHistogram& operator=(const FeatureHistogram&) = delete;
  /*! \brief Disable copy */
  FeatureHistogram(const FeatureHistogram&) = delete;

Guolin Ke's avatar
Guolin Ke committed
47
48
49
50
51
  /*!
  * \brief Init the feature histogram
  * \param feature the feature data for this histogram
  * \param min_num_data_one_leaf minimal number of data in one leaf
  */
52
  void Init(HistogramBinEntry* data, const FeatureMetainfo* meta) {
Guolin Ke's avatar
Guolin Ke committed
53
54
    meta_ = meta;
    data_ = data;
55
    if (meta_->bin_type == BinType::NumericalBin) {
56
      find_best_threshold_fun_ = std::bind(&FeatureHistogram::FindBestThresholdNumerical, this, std::placeholders::_1
Guolin Ke's avatar
Guolin Ke committed
57
                                           , std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6);
58
59
    } else {
      find_best_threshold_fun_ = std::bind(&FeatureHistogram::FindBestThresholdCategorical, this, std::placeholders::_1
Guolin Ke's avatar
Guolin Ke committed
60
                                           , std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6);
61
    }
Guolin Ke's avatar
Guolin Ke committed
62
63
  }

Guolin Ke's avatar
Guolin Ke committed
64
65
  HistogramBinEntry* RawData() {
    return data_;
Guolin Ke's avatar
Guolin Ke committed
66
67
68
69
70
71
  }
  /*!
  * \brief Subtract current histograms with other
  * \param other The histogram that want to subtract
  */
  void Subtract(const FeatureHistogram& other) {
Guolin Ke's avatar
Guolin Ke committed
72
    for (int i = 0; i < meta_->num_bin - meta_->bias; ++i) {
Guolin Ke's avatar
Guolin Ke committed
73
74
75
76
77
      data_[i].cnt -= other.data_[i].cnt;
      data_[i].sum_gradients -= other.data_[i].sum_gradients;
      data_[i].sum_hessians -= other.data_[i].sum_hessians;
    }
  }
78

Guolin Ke's avatar
Guolin Ke committed
79
  void FindBestThreshold(double sum_gradient, double sum_hessian, data_size_t num_data, double min_constraint, double max_constraint,
Guolin Ke's avatar
Guolin Ke committed
80
                         SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
81
    output->default_left = true;
Guolin Ke's avatar
Guolin Ke committed
82
    output->gain = kMinScore;
Guolin Ke's avatar
Guolin Ke committed
83
    find_best_threshold_fun_(sum_gradient, sum_hessian + 2 * kEpsilon, num_data, min_constraint, max_constraint, output);
Guolin Ke's avatar
Guolin Ke committed
84
    output->gain *= meta_->penalty;
85
86
  }

Guolin Ke's avatar
Guolin Ke committed
87
  void FindBestThresholdNumerical(double sum_gradient, double sum_hessian, data_size_t num_data, double min_constraint, double max_constraint,
Guolin Ke's avatar
Guolin Ke committed
88
                                  SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
89
    is_splittable_ = false;
Guolin Ke's avatar
Guolin Ke committed
90
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian,
Guolin Ke's avatar
Guolin Ke committed
91
92
                                         meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step);
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
Guolin Ke's avatar
Guolin Ke committed
93
94
    if (meta_->num_bin > 2 && meta_->missing_type != MissingType::None) {
      if (meta_->missing_type == MissingType::Zero) {
Guolin Ke's avatar
Guolin Ke committed
95
96
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, -1, true, false);
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, 1, true, false);
Guolin Ke's avatar
Guolin Ke committed
97
      } else {
Guolin Ke's avatar
Guolin Ke committed
98
99
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, -1, false, true);
        FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, 1, false, true);
Guolin Ke's avatar
Guolin Ke committed
100
      }
101
    } else {
Guolin Ke's avatar
Guolin Ke committed
102
      FindBestThresholdSequence(sum_gradient, sum_hessian, num_data, min_constraint, max_constraint, min_gain_shift, output, -1, false, false);
Guolin Ke's avatar
Guolin Ke committed
103
104
105
106
      // fix the direction error when only have 2 bins
      if (meta_->missing_type == MissingType::NaN) {
        output->default_left = false;
      }
Guolin Ke's avatar
Guolin Ke committed
107
    }
Guolin Ke's avatar
Guolin Ke committed
108
    output->gain -= min_gain_shift;
Guolin Ke's avatar
Guolin Ke committed
109
110
111
    output->monotone_type = meta_->monotone_type;
    output->min_constraint = min_constraint;
    output->max_constraint = max_constraint;
Guolin Ke's avatar
Guolin Ke committed
112
  }
113

114
115
  void FindBestThresholdCategorical(double sum_gradient, double sum_hessian, data_size_t num_data,
                                    double min_constraint, double max_constraint,
Guolin Ke's avatar
Guolin Ke committed
116
                                    SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
117
    output->default_left = false;
118
    double best_gain = kMinScore;
119
    data_size_t best_left_count = 0;
ChenZhiyong's avatar
ChenZhiyong committed
120
121
    double best_sum_left_gradient = 0;
    double best_sum_left_hessian = 0;
Guolin Ke's avatar
Guolin Ke committed
122
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian, meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step);
123

Guolin Ke's avatar
Guolin Ke committed
124
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
ChenZhiyong's avatar
ChenZhiyong committed
125
    bool is_full_categorical = meta_->missing_type == MissingType::None;
126
    int used_bin = meta_->num_bin - 1 + is_full_categorical;
ChenZhiyong's avatar
ChenZhiyong committed
127

Guolin Ke's avatar
Guolin Ke committed
128
    std::vector<int> sorted_idx;
Guolin Ke's avatar
Guolin Ke committed
129
130
    double l2 = meta_->config->lambda_l2;
    bool use_onehot = meta_->num_bin <= meta_->config->max_cat_to_onehot;
131
132
    int best_threshold = -1;
    int best_dir = 1;
Guolin Ke's avatar
Guolin Ke committed
133

134
135
136
    if (use_onehot) {
      for (int t = 0; t < used_bin; ++t) {
        // if data not enough, or sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
137
138
        if (data_[t].cnt < meta_->config->min_data_in_leaf
            || data_[t].sum_hessians < meta_->config->min_sum_hessian_in_leaf) continue;
139
140
        data_size_t other_count = num_data - data_[t].cnt;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
141
        if (other_count < meta_->config->min_data_in_leaf) continue;
ChenZhiyong's avatar
ChenZhiyong committed
142

143
144
        double sum_other_hessian = sum_hessian - data_[t].sum_hessians - kEpsilon;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
145
        if (sum_other_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
ChenZhiyong's avatar
ChenZhiyong committed
146

147
148
        double sum_other_gradient = sum_gradient - data_[t].sum_gradients;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
149
        double current_gain = GetSplitGains(sum_other_gradient, sum_other_hessian, data_[t].sum_gradients, data_[t].sum_hessians + kEpsilon,
Guolin Ke's avatar
Guolin Ke committed
150
                                            meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
151
                                            min_constraint, max_constraint, 0);
152
        // gain with split is worse than without split
ChenZhiyong's avatar
ChenZhiyong committed
153
        if (current_gain <= min_gain_shift) continue;
154
155

        // mark to is splittable
ChenZhiyong's avatar
ChenZhiyong committed
156
        is_splittable_ = true;
157
        // better split point
ChenZhiyong's avatar
ChenZhiyong committed
158
        if (current_gain > best_gain) {
159
160
161
162
          best_threshold = t;
          best_sum_left_gradient = data_[t].sum_gradients;
          best_sum_left_hessian = data_[t].sum_hessians + kEpsilon;
          best_left_count = data_[t].cnt;
ChenZhiyong's avatar
ChenZhiyong committed
163
          best_gain = current_gain;
164
165
166
167
        }
      }
    } else {
      for (int i = 0; i < used_bin; ++i) {
Guolin Ke's avatar
Guolin Ke committed
168
        if (data_[i].cnt >= meta_->config->cat_smooth) {
169
170
171
172
173
          sorted_idx.push_back(i);
        }
      }
      used_bin = static_cast<int>(sorted_idx.size());

Guolin Ke's avatar
Guolin Ke committed
174
      l2 += meta_->config->cat_l2;
175
176

      auto ctr_fun = [this](double sum_grad, double sum_hess) {
Guolin Ke's avatar
Guolin Ke committed
177
        return (sum_grad) / (sum_hess + meta_->config->cat_smooth);
178
179
180
181
182
183
184
185
186
187
      };
      std::sort(sorted_idx.begin(), sorted_idx.end(),
                [this, &ctr_fun](int i, int j) {
        return ctr_fun(data_[i].sum_gradients, data_[i].sum_hessians) < ctr_fun(data_[j].sum_gradients, data_[j].sum_hessians);
      });

      std::vector<int> find_direction(1, 1);
      std::vector<int> start_position(1, 0);
      find_direction.push_back(-1);
      start_position.push_back(used_bin - 1);
Guolin Ke's avatar
Guolin Ke committed
188
      const int max_num_cat = std::min(meta_->config->max_cat_threshold, (used_bin + 1) / 2);
189
190
191
192
193

      is_splittable_ = false;
      for (size_t out_i = 0; out_i < find_direction.size(); ++out_i) {
        auto dir = find_direction[out_i];
        auto start_pos = start_position[out_i];
Guolin Ke's avatar
Guolin Ke committed
194
        data_size_t min_data_per_group = meta_->config->min_data_per_group;
195
196
197
198
199
200
201
202
203
204
205
206
207
        data_size_t cnt_cur_group = 0;
        double sum_left_gradient = 0.0f;
        double sum_left_hessian = kEpsilon;
        data_size_t left_count = 0;
        for (int i = 0; i < used_bin && i < max_num_cat; ++i) {
          auto t = sorted_idx[start_pos];
          start_pos += dir;

          sum_left_gradient += data_[t].sum_gradients;
          sum_left_hessian += data_[t].sum_hessians;
          left_count += data_[t].cnt;
          cnt_cur_group += data_[t].cnt;

Guolin Ke's avatar
Guolin Ke committed
208
209
          if (left_count < meta_->config->min_data_in_leaf
              || sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
210
          data_size_t right_count = num_data - left_count;
Guolin Ke's avatar
Guolin Ke committed
211
          if (right_count < meta_->config->min_data_in_leaf || right_count < min_data_per_group) break;
212
213

          double sum_right_hessian = sum_hessian - sum_left_hessian;
Guolin Ke's avatar
Guolin Ke committed
214
          if (sum_right_hessian < meta_->config->min_sum_hessian_in_leaf) break;
215
216
217
218
219
220

          if (cnt_cur_group < min_data_per_group) continue;

          cnt_cur_group = 0;

          double sum_right_gradient = sum_gradient - sum_left_gradient;
Guolin Ke's avatar
Guolin Ke committed
221
          double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
222
                                              meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
223
                                              min_constraint, max_constraint, 0);
224
225
226
227
228
229
230
231
232
233
          if (current_gain <= min_gain_shift) continue;
          is_splittable_ = true;
          if (current_gain > best_gain) {
            best_left_count = left_count;
            best_sum_left_gradient = sum_left_gradient;
            best_sum_left_hessian = sum_left_hessian;
            best_threshold = i;
            best_gain = current_gain;
            best_dir = dir;
          }
ChenZhiyong's avatar
ChenZhiyong committed
234
        }
235
236
      }
    }
237

238
    if (is_splittable_) {
Guolin Ke's avatar
Guolin Ke committed
239
      output->left_output = CalculateSplittedLeafOutput(best_sum_left_gradient, best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
240
                                                        meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
241
                                                        min_constraint, max_constraint);
242
243
244
245
      output->left_count = best_left_count;
      output->left_sum_gradient = best_sum_left_gradient;
      output->left_sum_hessian = best_sum_left_hessian - kEpsilon;
      output->right_output = CalculateSplittedLeafOutput(sum_gradient - best_sum_left_gradient,
Guolin Ke's avatar
Guolin Ke committed
246
                                                         sum_hessian - best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
247
                                                         meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
248
                                                         min_constraint, max_constraint);
249
250
251
      output->right_count = num_data - best_left_count;
      output->right_sum_gradient = sum_gradient - best_sum_left_gradient;
      output->right_sum_hessian = sum_hessian - best_sum_left_hessian - kEpsilon;
Guolin Ke's avatar
Guolin Ke committed
252
      output->gain = best_gain - min_gain_shift;
253
254
255
      if (use_onehot) {
        output->num_cat_threshold = 1;
        output->cat_threshold = std::vector<uint32_t>(1, static_cast<uint32_t>(best_threshold));
ChenZhiyong's avatar
ChenZhiyong committed
256
      } else {
257
258
259
260
261
262
263
264
265
266
267
268
        output->num_cat_threshold = best_threshold + 1;
        output->cat_threshold = std::vector<uint32_t>(output->num_cat_threshold);
        if (best_dir == 1) {
          for (int i = 0; i < output->num_cat_threshold; ++i) {
            auto t = sorted_idx[i];
            output->cat_threshold[i] = t;
          }
        } else {
          for (int i = 0; i < output->num_cat_threshold; ++i) {
            auto t = sorted_idx[used_bin - 1 - i];
            output->cat_threshold[i] = t;
          }
ChenZhiyong's avatar
ChenZhiyong committed
269
270
        }
      }
Guolin Ke's avatar
Guolin Ke committed
271
272
273
      output->monotone_type = 0;
      output->min_constraint = min_constraint;
      output->max_constraint = max_constraint;
274
    }
275
276
  }

277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
  void GatherInfoForThreshold(double sum_gradient, double sum_hessian,
                              uint32_t threshold, data_size_t num_data, SplitInfo *output) {
    if (meta_->bin_type == BinType::NumericalBin) {
      GatherInfoForThresholdNumerical(sum_gradient, sum_hessian, threshold,
                                      num_data, output);
    } else {
      GatherInfoForThresholdCategorical(sum_gradient, sum_hessian, threshold,
                                        num_data, output);
    }
  }

  void GatherInfoForThresholdNumerical(double sum_gradient, double sum_hessian,
                                       uint32_t threshold, data_size_t num_data,
                                       SplitInfo *output) {
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian,
Guolin Ke's avatar
Guolin Ke committed
292
293
294
                                         meta_->config->lambda_l1, meta_->config->lambda_l2,
                                         meta_->config->max_delta_step);
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
295
296
297
298
299
300
301
302
303

    // do stuff here
    const int8_t bias = meta_->bias;

    double sum_right_gradient = 0.0f;
    double sum_right_hessian = kEpsilon;
    data_size_t right_count = 0;

    // set values
304
305
    bool use_na_as_missing = false;
    bool skip_default_bin = false;
306
307
    if (meta_->missing_type == MissingType::Zero) {
      skip_default_bin = true;
308
    } else if (meta_->missing_type == MissingType::NaN) {
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
      use_na_as_missing = true;
    }

    int t = meta_->num_bin - 1 - bias - use_na_as_missing;
    const int t_end = 1 - bias;

    // from right to left, and we don't need data in bin0
    for (; t >= t_end; --t) {
      if (static_cast<uint32_t>(t + bias) < threshold) { break; }

      // need to skip default bin
      if (skip_default_bin && (t + bias) == static_cast<int>(meta_->default_bin)) { continue; }

      sum_right_gradient += data_[t].sum_gradients;
      sum_right_hessian += data_[t].sum_hessians;
      right_count += data_[t].cnt;
    }
    double sum_left_gradient = sum_gradient - sum_right_gradient;
    double sum_left_hessian = sum_hessian - sum_right_hessian;
    data_size_t left_count = num_data - right_count;
    double current_gain = GetLeafSplitGain(sum_left_gradient, sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
330
331
                                           meta_->config->lambda_l1, meta_->config->lambda_l2,
                                           meta_->config->max_delta_step)
332
          + GetLeafSplitGain(sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
333
334
                             meta_->config->lambda_l1, meta_->config->lambda_l2,
                             meta_->config->max_delta_step);
335
336
337
338

    // gain with split is worse than without split
    if (std::isnan(current_gain) || current_gain <= min_gain_shift) {
      output->gain = kMinScore;
339
      Log::Warning("'Forced Split' will be ignored since the gain getting worse. ");
340
      return;
341
    }
342
343
344
345

    // update split information
    output->threshold = threshold;
    output->left_output = CalculateSplittedLeafOutput(sum_left_gradient, sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
346
347
                                                      meta_->config->lambda_l1, meta_->config->lambda_l2,
                                                      meta_->config->max_delta_step);
348
349
350
351
352
    output->left_count = left_count;
    output->left_sum_gradient = sum_left_gradient;
    output->left_sum_hessian = sum_left_hessian - kEpsilon;
    output->right_output = CalculateSplittedLeafOutput(sum_gradient - sum_left_gradient,
                                                       sum_hessian - sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
353
354
                                                       meta_->config->lambda_l1, meta_->config->lambda_l2,
                                                       meta_->config->max_delta_step);
355
356
357
358
359
360
361
362
363
364
365
366
367
368
    output->right_count = num_data - left_count;
    output->right_sum_gradient = sum_gradient - sum_left_gradient;
    output->right_sum_hessian = sum_hessian - sum_left_hessian - kEpsilon;
    output->gain = current_gain;
    output->gain -= min_gain_shift;
    output->default_left = true;
  }

  void GatherInfoForThresholdCategorical(double sum_gradient, double sum_hessian,
                                         uint32_t threshold, data_size_t num_data, SplitInfo *output) {
    // get SplitInfo for a given one-hot categorical split.
    output->default_left = false;
    double gain_shift = GetLeafSplitGain(
            sum_gradient, sum_hessian,
Guolin Ke's avatar
Guolin Ke committed
369
370
371
            meta_->config->lambda_l1, meta_->config->lambda_l2,
            meta_->config->max_delta_step);
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
372
373
374
375
376
377
378
379
    bool is_full_categorical = meta_->missing_type == MissingType::None;
    int used_bin = meta_->num_bin - 1 + is_full_categorical;
    if (threshold >= static_cast<uint32_t>(used_bin)) {
      output->gain = kMinScore;
      Log::Warning("Invalid categorical threshold split");
      return;
    }

Guolin Ke's avatar
Guolin Ke committed
380
    double l2 = meta_->config->lambda_l2;
381
382
383
384
385
386
387
388
    data_size_t left_count = data_[threshold].cnt;
    data_size_t right_count = num_data - left_count;
    double sum_left_hessian = data_[threshold].sum_hessians + kEpsilon;
    double sum_right_hessian = sum_hessian - sum_left_hessian;
    double sum_left_gradient = data_[threshold].sum_gradients;
    double sum_right_gradient = sum_gradient - sum_left_gradient;
    // current split gain
    double current_gain = GetLeafSplitGain(sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
389
390
                                           meta_->config->lambda_l1, l2,
                                           meta_->config->max_delta_step)
391
        + GetLeafSplitGain(sum_left_gradient, sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
392
393
                           meta_->config->lambda_l1, l2,
                           meta_->config->max_delta_step);
394
395
    if (std::isnan(current_gain) || current_gain <= min_gain_shift) {
      output->gain = kMinScore;
396
      Log::Warning("'Forced Split' will be ignored since the gain getting worse. ");
397
398
399
400
      return;
    }

    output->left_output = CalculateSplittedLeafOutput(sum_left_gradient, sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
401
402
                                                      meta_->config->lambda_l1, l2,
                                                      meta_->config->max_delta_step);
403
404
405
406
    output->left_count = left_count;
    output->left_sum_gradient = sum_left_gradient;
    output->left_sum_hessian = sum_left_hessian - kEpsilon;
    output->right_output = CalculateSplittedLeafOutput(sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
407
408
                                                       meta_->config->lambda_l1, l2,
                                                       meta_->config->max_delta_step);
409
410
411
412
413
414
415
416
417
    output->right_count = right_count;
    output->right_sum_gradient = sum_gradient - sum_left_gradient;
    output->right_sum_hessian = sum_right_hessian - kEpsilon;
    output->gain = current_gain - min_gain_shift;
    output->num_cat_threshold = 1;
    output->cat_threshold = std::vector<uint32_t>(1, threshold);
  }


Guolin Ke's avatar
Guolin Ke committed
418
419
420
421
  /*!
  * \brief Binary size of this histogram
  */
  int SizeOfHistgram() const {
Guolin Ke's avatar
Guolin Ke committed
422
    return (meta_->num_bin - meta_->bias) * sizeof(HistogramBinEntry);
Guolin Ke's avatar
Guolin Ke committed
423
424
425
426
427
  }

  /*!
  * \brief Restore histogram from memory
  */
Guolin Ke's avatar
Guolin Ke committed
428
429
  void FromMemory(char* memory_data) {
    std::memcpy(data_, memory_data, (meta_->num_bin - meta_->bias) * sizeof(HistogramBinEntry));
Guolin Ke's avatar
Guolin Ke committed
430
431
432
433
434
435
436
437
438
439
440
441
  }

  /*!
  * \brief True if this histogram can be splitted
  */
  bool is_splittable() { return is_splittable_; }

  /*!
  * \brief Set splittable to this histogram
  */
  void set_is_splittable(bool val) { is_splittable_ = val; }

442
443
444
445
446
447
448
449
450
451
452
453
  static double ThresholdL1(double s, double l1) {
    const double reg_s = std::max(0.0, std::fabs(s) - l1);
    return Common::Sign(s) * reg_s;
  }

  static double CalculateSplittedLeafOutput(double sum_gradients, double sum_hessians, double l1, double l2, double max_delta_step) {
    double ret = -ThresholdL1(sum_gradients, l1) / (sum_hessians + l2);
    if (max_delta_step <= 0.0f || std::fabs(ret) <= max_delta_step) {
      return ret;
    } else {
      return Common::Sign(ret) * max_delta_step;
    }
Guolin Ke's avatar
Guolin Ke committed
454
455
  }

Nikita Titov's avatar
Nikita Titov committed
456
 private:
Guolin Ke's avatar
Guolin Ke committed
457
458
  static double GetSplitGains(double sum_left_gradients, double sum_left_hessians,
                              double sum_right_gradients, double sum_right_hessians,
459
                              double l1, double l2, double max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
460
                              double min_constraint, double max_constraint, int8_t monotone_constraint) {
461
462
    double left_output = CalculateSplittedLeafOutput(sum_left_gradients, sum_left_hessians, l1, l2, max_delta_step, min_constraint, max_constraint);
    double right_output = CalculateSplittedLeafOutput(sum_right_gradients, sum_right_hessians, l1, l2, max_delta_step, min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
463
464
465
466
467
468
469
470
    if (((monotone_constraint > 0) && (left_output > right_output)) ||
      ((monotone_constraint < 0) && (left_output < right_output))) {
      return 0;
    }
    return GetLeafSplitGainGivenOutput(sum_left_gradients, sum_left_hessians, l1, l2, left_output)
      + GetLeafSplitGainGivenOutput(sum_right_gradients, sum_right_hessians, l1, l2, right_output);
  }

Guolin Ke's avatar
Guolin Ke committed
471
  /*!
472
  * \brief Calculate the output of a leaf based on regularized sum_gradients and sum_hessians
Guolin Ke's avatar
Guolin Ke committed
473
474
475
476
  * \param sum_gradients
  * \param sum_hessians
  * \return leaf output
  */
477
  static double CalculateSplittedLeafOutput(double sum_gradients, double sum_hessians, double l1, double l2, double max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
478
                                            double min_constraint, double max_constraint) {
479
    double ret = CalculateSplittedLeafOutput(sum_gradients, sum_hessians, l1, l2, max_delta_step);
Guolin Ke's avatar
Guolin Ke committed
480
481
482
483
484
485
    if (ret < min_constraint) {
      ret = min_constraint;
    } else if (ret > max_constraint) {
      ret = max_constraint;
    }
    return ret;
Guolin Ke's avatar
Guolin Ke committed
486
  }
Guolin Ke's avatar
Guolin Ke committed
487

Guolin Ke's avatar
Guolin Ke committed
488
489
490
491
492
493
  /*!
  * \brief Calculate the split gain based on regularized sum_gradients and sum_hessians
  * \param sum_gradients
  * \param sum_hessians
  * \return split gain
  */
494
495
496
  static double GetLeafSplitGain(double sum_gradients, double sum_hessians, double l1, double l2, double max_delta_step) {
    double output = CalculateSplittedLeafOutput(sum_gradients, sum_hessians, l1, l2, max_delta_step);
    return GetLeafSplitGainGivenOutput(sum_gradients, sum_hessians, l1, l2, output);
Guolin Ke's avatar
Guolin Ke committed
497
498
499
500
501
502
  }

  static double GetLeafSplitGainGivenOutput(double sum_gradients, double sum_hessians, double l1, double l2, double output) {
    const double sg_l1 = ThresholdL1(sum_gradients, l1);
    return -(2.0 * sg_l1 * output + (sum_hessians + l2) * output * output);
  }
Guolin Ke's avatar
Guolin Ke committed
503

Guolin Ke's avatar
Guolin Ke committed
504
505
  void FindBestThresholdSequence(double sum_gradient, double sum_hessian, data_size_t num_data, double min_constraint, double max_constraint,
                                 double min_gain_shift, SplitInfo* output, int dir, bool skip_default_bin, bool use_na_as_missing) {
506
    const int8_t bias = meta_->bias;
Guolin Ke's avatar
Guolin Ke committed
507
508
509
510
511
512
513
514
515
516
517
518

    double best_sum_left_gradient = NAN;
    double best_sum_left_hessian = NAN;
    double best_gain = kMinScore;
    data_size_t best_left_count = 0;
    uint32_t best_threshold = static_cast<uint32_t>(meta_->num_bin);

    if (dir == -1) {
      double sum_right_gradient = 0.0f;
      double sum_right_hessian = kEpsilon;
      data_size_t right_count = 0;

Guolin Ke's avatar
Guolin Ke committed
519
      int t = meta_->num_bin - 1 - bias - use_na_as_missing;
Guolin Ke's avatar
Guolin Ke committed
520
521
522
523
524
525
526
527
528
529
530
      const int t_end = 1 - bias;

      // from right to left, and we don't need data in bin0
      for (; t >= t_end; --t) {
        // need to skip default bin
        if (skip_default_bin && (t + bias) == static_cast<int>(meta_->default_bin)) { continue; }

        sum_right_gradient += data_[t].sum_gradients;
        sum_right_hessian += data_[t].sum_hessians;
        right_count += data_[t].cnt;
        // if data not enough, or sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
531
532
        if (right_count < meta_->config->min_data_in_leaf
            || sum_right_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
Guolin Ke's avatar
Guolin Ke committed
533
534
        data_size_t left_count = num_data - right_count;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
535
        if (left_count < meta_->config->min_data_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
536
537
538

        double sum_left_hessian = sum_hessian - sum_right_hessian;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
539
        if (sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
540
541
542

        double sum_left_gradient = sum_gradient - sum_right_gradient;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
543
        double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
544
                                            meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
545
                                            min_constraint, max_constraint, meta_->monotone_type);
Guolin Ke's avatar
Guolin Ke committed
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
        // gain with split is worse than without split
        if (current_gain <= min_gain_shift) continue;

        // mark to is splittable
        is_splittable_ = true;
        // better split point
        if (current_gain > best_gain) {
          best_left_count = left_count;
          best_sum_left_gradient = sum_left_gradient;
          best_sum_left_hessian = sum_left_hessian;
          // left is <= threshold, right is > threshold.  so this is t-1
          best_threshold = static_cast<uint32_t>(t - 1 + bias);
          best_gain = current_gain;
        }
      }
ChenZhiyong's avatar
ChenZhiyong committed
561
    } else {
Guolin Ke's avatar
Guolin Ke committed
562
563
564
565
566
567
568
      double sum_left_gradient = 0.0f;
      double sum_left_hessian = kEpsilon;
      data_size_t left_count = 0;

      int t = 0;
      const int t_end = meta_->num_bin - 2 - bias;

Guolin Ke's avatar
Guolin Ke committed
569
570
571
572
573
574
575
576
577
578
579
580
      if (use_na_as_missing && bias == 1) {
        sum_left_gradient = sum_gradient;
        sum_left_hessian = sum_hessian - kEpsilon;
        left_count = num_data;
        for (int i = 0; i < meta_->num_bin - bias; ++i) {
          sum_left_gradient -= data_[i].sum_gradients;
          sum_left_hessian -= data_[i].sum_hessians;
          left_count -= data_[i].cnt;
        }
        t = -1;
      }

Guolin Ke's avatar
Guolin Ke committed
581
582
583
      for (; t <= t_end; ++t) {
        // need to skip default bin
        if (skip_default_bin && (t + bias) == static_cast<int>(meta_->default_bin)) { continue; }
Guolin Ke's avatar
Guolin Ke committed
584
585
586
587
588
        if (t >= 0) {
          sum_left_gradient += data_[t].sum_gradients;
          sum_left_hessian += data_[t].sum_hessians;
          left_count += data_[t].cnt;
        }
Guolin Ke's avatar
Guolin Ke committed
589
        // if data not enough, or sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
590
591
        if (left_count < meta_->config->min_data_in_leaf
            || sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
Guolin Ke's avatar
Guolin Ke committed
592
593
        data_size_t right_count = num_data - left_count;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
594
        if (right_count < meta_->config->min_data_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
595
596
597

        double sum_right_hessian = sum_hessian - sum_left_hessian;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
598
        if (sum_right_hessian < meta_->config->min_sum_hessian_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
599
600
601

        double sum_right_gradient = sum_gradient - sum_left_gradient;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
602
        double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
603
                                            meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
604
                                            min_constraint, max_constraint, meta_->monotone_type);
Guolin Ke's avatar
Guolin Ke committed
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
        // gain with split is worse than without split
        if (current_gain <= min_gain_shift) continue;

        // mark to is splittable
        is_splittable_ = true;
        // better split point
        if (current_gain > best_gain) {
          best_left_count = left_count;
          best_sum_left_gradient = sum_left_gradient;
          best_sum_left_hessian = sum_left_hessian;
          best_threshold = static_cast<uint32_t>(t + bias);
          best_gain = current_gain;
        }
      }
    }

    if (is_splittable_ && best_gain > output->gain) {
      // update split information
      output->threshold = best_threshold;
      output->left_output = CalculateSplittedLeafOutput(best_sum_left_gradient, best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
625
                                                        meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
626
                                                        min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
627
628
629
630
631
      output->left_count = best_left_count;
      output->left_sum_gradient = best_sum_left_gradient;
      output->left_sum_hessian = best_sum_left_hessian - kEpsilon;
      output->right_output = CalculateSplittedLeafOutput(sum_gradient - best_sum_left_gradient,
                                                         sum_hessian - best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
632
                                                         meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
633
                                                         min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
634
635
636
637
      output->right_count = num_data - best_left_count;
      output->right_sum_gradient = sum_gradient - best_sum_left_gradient;
      output->right_sum_hessian = sum_hessian - best_sum_left_hessian - kEpsilon;
      output->gain = best_gain;
Guolin Ke's avatar
Guolin Ke committed
638
      output->default_left = dir == -1;
Guolin Ke's avatar
Guolin Ke committed
639
640
641
    }
  }

Guolin Ke's avatar
Guolin Ke committed
642
  const FeatureMetainfo* meta_;
Guolin Ke's avatar
Guolin Ke committed
643
  /*! \brief sum of gradient of each bin */
Guolin Ke's avatar
Guolin Ke committed
644
  HistogramBinEntry* data_;
645
  // std::vector<HistogramBinEntry> data_;
Guolin Ke's avatar
Guolin Ke committed
646
  bool is_splittable_ = true;
647

Guolin Ke's avatar
Guolin Ke committed
648
  std::function<void(double, double, data_size_t, double, double, SplitInfo*)> find_best_threshold_fun_;
Guolin Ke's avatar
Guolin Ke committed
649
};
Guolin Ke's avatar
Guolin Ke committed
650
class HistogramPool {
Nikita Titov's avatar
Nikita Titov committed
651
 public:
Guolin Ke's avatar
Guolin Ke committed
652
653
654
655
  /*!
  * \brief Constructor
  */
  HistogramPool() {
Guolin Ke's avatar
Guolin Ke committed
656
657
    cache_size_ = 0;
    total_size_ = 0;
Guolin Ke's avatar
Guolin Ke committed
658
659
660
661
662
663
664
665
666
667
668
  }
  /*!
  * \brief Destructor
  */
  ~HistogramPool() {
  }
  /*!
  * \brief Reset pool size
  * \param cache_size Max cache size
  * \param total_size Total size will be used
  */
Guolin Ke's avatar
Guolin Ke committed
669
  void Reset(int cache_size, int total_size) {
Guolin Ke's avatar
Guolin Ke committed
670
671
672
673
674
675
676
677
678
    cache_size_ = cache_size;
    // at least need 2 bucket to store smaller leaf and larger leaf
    CHECK(cache_size_ >= 2);
    total_size_ = total_size;
    if (cache_size_ > total_size_) {
      cache_size_ = total_size_;
    }
    is_enough_ = (cache_size_ == total_size_);
    if (!is_enough_) {
679
680
681
      mapper_.resize(total_size_);
      inverse_mapper_.resize(cache_size_);
      last_used_time_.resize(cache_size_);
Guolin Ke's avatar
Guolin Ke committed
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
      ResetMap();
    }
  }
  /*!
  * \brief Reset mapper
  */
  void ResetMap() {
    if (!is_enough_) {
      cur_time_ = 0;
      std::fill(mapper_.begin(), mapper_.end(), -1);
      std::fill(inverse_mapper_.begin(), inverse_mapper_.end(), -1);
      std::fill(last_used_time_.begin(), last_used_time_.end(), 0);
    }
  }

Guolin Ke's avatar
Guolin Ke committed
697
  void DynamicChangeSize(const Dataset* train_data, const Config* config, int cache_size, int total_size) {
Guolin Ke's avatar
Guolin Ke committed
698
    if (feature_metas_.empty()) {
Guolin Ke's avatar
Guolin Ke committed
699
700
      int num_feature = train_data->num_features();
      feature_metas_.resize(num_feature);
701
      #pragma omp parallel for schedule(static, 512) if (num_feature >= 1024)
Guolin Ke's avatar
Guolin Ke committed
702
      for (int i = 0; i < num_feature; ++i) {
Guolin Ke's avatar
Guolin Ke committed
703
        feature_metas_[i].num_bin = train_data->FeatureNumBin(i);
Guolin Ke's avatar
Guolin Ke committed
704
        feature_metas_[i].default_bin = train_data->FeatureBinMapper(i)->GetDefaultBin();
Guolin Ke's avatar
Guolin Ke committed
705
        feature_metas_[i].missing_type = train_data->FeatureBinMapper(i)->missing_type();
Guolin Ke's avatar
Guolin Ke committed
706
        feature_metas_[i].monotone_type = train_data->FeatureMonotone(i);
Guolin Ke's avatar
Guolin Ke committed
707
        feature_metas_[i].penalty = train_data->FeaturePenalte(i);
Guolin Ke's avatar
Guolin Ke committed
708
709
710
711
712
        if (train_data->FeatureBinMapper(i)->GetDefaultBin() == 0) {
          feature_metas_[i].bias = 1;
        } else {
          feature_metas_[i].bias = 0;
        }
Guolin Ke's avatar
Guolin Ke committed
713
        feature_metas_[i].config = config;
714
        feature_metas_[i].bin_type = train_data->FeatureBinMapper(i)->bin_type();
Guolin Ke's avatar
Guolin Ke committed
715
      }
Guolin Ke's avatar
Guolin Ke committed
716
    }
Guolin Ke's avatar
Guolin Ke committed
717
718
    uint64_t num_total_bin = train_data->NumTotalBin();
    Log::Info("Total Bins %d", num_total_bin);
Guolin Ke's avatar
Guolin Ke committed
719
    int old_cache_size = static_cast<int>(pool_.size());
Guolin Ke's avatar
Guolin Ke committed
720
    Reset(cache_size, total_size);
Guolin Ke's avatar
Guolin Ke committed
721
722
723
724
725
726

    if (cache_size > old_cache_size) {
      pool_.resize(cache_size);
      data_.resize(cache_size);
    }

727
    OMP_INIT_EX();
Guolin Ke's avatar
Guolin Ke committed
728
    #pragma omp parallel for schedule(static)
Guolin Ke's avatar
Guolin Ke committed
729
    for (int i = old_cache_size; i < cache_size; ++i) {
730
      OMP_LOOP_EX_BEGIN();
Guolin Ke's avatar
Guolin Ke committed
731
732
733
734
735
      pool_[i].reset(new FeatureHistogram[train_data->num_features()]);
      data_[i].resize(num_total_bin);
      uint64_t offset = 0;
      for (int j = 0; j < train_data->num_features(); ++j) {
        offset += static_cast<uint64_t>(train_data->SubFeatureBinOffset(j));
736
        pool_[i][j].Init(data_[i].data() + offset, &feature_metas_[j]);
Guolin Ke's avatar
Guolin Ke committed
737
738
739
740
741
742
743
        auto num_bin = train_data->FeatureNumBin(j);
        if (train_data->FeatureBinMapper(j)->GetDefaultBin() == 0) {
          num_bin -= 1;
        }
        offset += static_cast<uint64_t>(num_bin);
      }
      CHECK(offset == num_total_bin);
744
      OMP_LOOP_EX_END();
Guolin Ke's avatar
Guolin Ke committed
745
    }
746
    OMP_THROW_EX();
Guolin Ke's avatar
Guolin Ke committed
747
748
  }

Guolin Ke's avatar
Guolin Ke committed
749
  void ResetConfig(const Config* config) {
Guolin Ke's avatar
Guolin Ke committed
750
    int size = static_cast<int>(feature_metas_.size());
751
    #pragma omp parallel for schedule(static, 512) if (size >= 1024)
Guolin Ke's avatar
Guolin Ke committed
752
    for (int i = 0; i < size; ++i) {
Guolin Ke's avatar
Guolin Ke committed
753
      feature_metas_[i].config = config;
Guolin Ke's avatar
Guolin Ke committed
754
755
    }
  }
Guolin Ke's avatar
Guolin Ke committed
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
  /*!
  * \brief Get data for the specific index
  * \param idx which index want to get
  * \param out output data will store into this
  * \return True if this index is in the pool, False if this index is not in the pool
  */
  bool Get(int idx, FeatureHistogram** out) {
    if (is_enough_) {
      *out = pool_[idx].get();
      return true;
    } else if (mapper_[idx] >= 0) {
      int slot = mapper_[idx];
      *out = pool_[slot].get();
      last_used_time_[slot] = ++cur_time_;
      return true;
    } else {
772
      // choose the least used slot
Guolin Ke's avatar
Guolin Ke committed
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
      int slot = static_cast<int>(ArrayArgs<int>::ArgMin(last_used_time_));
      *out = pool_[slot].get();
      last_used_time_[slot] = ++cur_time_;

      // reset previous mapper
      if (inverse_mapper_[slot] >= 0) mapper_[inverse_mapper_[slot]] = -1;

      // update current mapper
      mapper_[idx] = slot;
      inverse_mapper_[slot] = idx;
      return false;
    }
  }

  /*!
  * \brief Move data from one index to another index
  * \param src_idx
  * \param dst_idx
  */
  void Move(int src_idx, int dst_idx) {
    if (is_enough_) {
      std::swap(pool_[src_idx], pool_[dst_idx]);
      return;
    }
    if (mapper_[src_idx] < 0) {
      return;
    }
    // get slot of src idx
    int slot = mapper_[src_idx];
    // reset src_idx
    mapper_[src_idx] = -1;

    // move to dst idx
    mapper_[dst_idx] = slot;
    last_used_time_[slot] = ++cur_time_;
    inverse_mapper_[slot] = dst_idx;
  }
810

Nikita Titov's avatar
Nikita Titov committed
811
 private:
Guolin Ke's avatar
Guolin Ke committed
812
  std::vector<std::unique_ptr<FeatureHistogram[]>> pool_;
Guolin Ke's avatar
Guolin Ke committed
813
814
  std::vector<std::vector<HistogramBinEntry>> data_;
  std::vector<FeatureMetainfo> feature_metas_;
Guolin Ke's avatar
Guolin Ke committed
815
816
817
818
819
820
821
822
823
  int cache_size_;
  int total_size_;
  bool is_enough_ = false;
  std::vector<int> mapper_;
  std::vector<int> inverse_mapper_;
  std::vector<int> last_used_time_;
  int cur_time_ = 0;
};

Guolin Ke's avatar
Guolin Ke committed
824
}  // namespace LightGBM
Guolin Ke's avatar
Guolin Ke committed
825
#endif   // LightGBM_TREELEARNER_FEATURE_HISTOGRAM_HPP_