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

#include "split_info.hpp"
Guolin Ke's avatar
Guolin Ke committed
5
6
7

#include <LightGBM/utils/array_args.h>
#include <LightGBM/dataset.h>
Guolin Ke's avatar
Guolin Ke committed
8
9

#include <cstring>
10
#include <cmath>
Guolin Ke's avatar
Guolin Ke committed
11

Guolin Ke's avatar
Guolin Ke committed
12
namespace LightGBM
Guolin Ke's avatar
Guolin Ke committed
13
{
Guolin Ke's avatar
Guolin Ke committed
14

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

Guolin Ke's avatar
Guolin Ke committed
36
37
38
  ~FeatureHistogram() {
  }

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

Guolin Ke's avatar
Guolin Ke committed
44
45
46
47
48
  /*!
  * \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
  */
49
  void Init(HistogramBinEntry* data, const FeatureMetainfo* meta) {
Guolin Ke's avatar
Guolin Ke committed
50
51
    meta_ = meta;
    data_ = data;
52
    if (meta_->bin_type == BinType::NumericalBin) {
53
      find_best_threshold_fun_ = std::bind(&FeatureHistogram::FindBestThresholdNumerical, this, std::placeholders::_1
Guolin Ke's avatar
Guolin Ke committed
54
                                           , std::placeholders::_2, std::placeholders::_3, std::placeholders::_4, std::placeholders::_5, std::placeholders::_6);
55
56
    } else {
      find_best_threshold_fun_ = std::bind(&FeatureHistogram::FindBestThresholdCategorical, 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
    }
Guolin Ke's avatar
Guolin Ke committed
59
60
  }

Guolin Ke's avatar
Guolin Ke committed
61
62
  HistogramBinEntry* RawData() {
    return data_;
Guolin Ke's avatar
Guolin Ke committed
63
64
65
66
67
68
  }
  /*!
  * \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
69
    for (int i = 0; i < meta_->num_bin - meta_->bias; ++i) {
Guolin Ke's avatar
Guolin Ke committed
70
71
72
73
74
      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;
    }
  }
75

Guolin Ke's avatar
Guolin Ke committed
76
  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
77
                         SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
78
    output->default_left = true;
Guolin Ke's avatar
Guolin Ke committed
79
    output->gain = kMinScore;
Guolin Ke's avatar
Guolin Ke committed
80
    find_best_threshold_fun_(sum_gradient, sum_hessian + 2 * kEpsilon, num_data, min_constraint, max_constraint, output);
Guolin Ke's avatar
Guolin Ke committed
81
    output->gain *= meta_->penalty;
82
83
  }

Guolin Ke's avatar
Guolin Ke committed
84
  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
85
                                  SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
86
87

    is_splittable_ = false;
Guolin Ke's avatar
Guolin Ke committed
88
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian,
Guolin Ke's avatar
Guolin Ke committed
89
90
                                         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
91
92
    if (meta_->num_bin > 2 && meta_->missing_type != MissingType::None) {
      if (meta_->missing_type == MissingType::Zero) {
Guolin Ke's avatar
Guolin Ke committed
93
94
        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
95
      } else {
Guolin Ke's avatar
Guolin Ke committed
96
97
        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
98
      }
99
    } else {
Guolin Ke's avatar
Guolin Ke committed
100
      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
101
102
103
104
      // 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
105
    }
Guolin Ke's avatar
Guolin Ke committed
106
    output->gain -= min_gain_shift;
Guolin Ke's avatar
Guolin Ke committed
107
108
109
    output->monotone_type = meta_->monotone_type;
    output->min_constraint = min_constraint;
    output->max_constraint = max_constraint;
Guolin Ke's avatar
Guolin Ke committed
110
  }
111

112
113
  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
114
                                    SplitInfo* output) {
Guolin Ke's avatar
Guolin Ke committed
115
    output->default_left = false;
116
    double best_gain = kMinScore;
117
    data_size_t best_left_count = 0;
ChenZhiyong's avatar
ChenZhiyong committed
118
119
    double best_sum_left_gradient = 0;
    double best_sum_left_hessian = 0;
Guolin Ke's avatar
Guolin Ke committed
120
    double gain_shift = GetLeafSplitGain(sum_gradient, sum_hessian, meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step);
Guolin Ke's avatar
Guolin Ke committed
121
    
Guolin Ke's avatar
Guolin Ke committed
122
    double min_gain_shift = gain_shift + meta_->config->min_gain_to_split;
ChenZhiyong's avatar
ChenZhiyong committed
123
    bool is_full_categorical = meta_->missing_type == MissingType::None;
124
    int used_bin = meta_->num_bin - 1 + is_full_categorical;
ChenZhiyong's avatar
ChenZhiyong committed
125

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

132
133
134
    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
135
136
        if (data_[t].cnt < meta_->config->min_data_in_leaf
            || data_[t].sum_hessians < meta_->config->min_sum_hessian_in_leaf) continue;
137
138
        data_size_t other_count = num_data - data_[t].cnt;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
139
        if (other_count < meta_->config->min_data_in_leaf) continue;
ChenZhiyong's avatar
ChenZhiyong committed
140

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

145
146
        double sum_other_gradient = sum_gradient - data_[t].sum_gradients;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
147
        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
148
                                            meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
149
                                            min_constraint, max_constraint, 0);
150
        // gain with split is worse than without split
ChenZhiyong's avatar
ChenZhiyong committed
151
        if (current_gain <= min_gain_shift) continue;
152
153

        // mark to is splittable
ChenZhiyong's avatar
ChenZhiyong committed
154
        is_splittable_ = true;
155
        // better split point
ChenZhiyong's avatar
ChenZhiyong committed
156
        if (current_gain > best_gain) {
157
158
159
160
          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
161
          best_gain = current_gain;
162
163
164
165
        }
      }
    } else {
      for (int i = 0; i < used_bin; ++i) {
Guolin Ke's avatar
Guolin Ke committed
166
        if (data_[i].cnt >= meta_->config->cat_smooth) {
167
168
169
170
171
          sorted_idx.push_back(i);
        }
      }
      used_bin = static_cast<int>(sorted_idx.size());

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

      auto ctr_fun = [this](double sum_grad, double sum_hess) {
Guolin Ke's avatar
Guolin Ke committed
175
        return (sum_grad) / (sum_hess + meta_->config->cat_smooth);
176
177
178
179
180
181
182
183
184
185
      };
      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
186
      const int max_num_cat = std::min(meta_->config->max_cat_threshold, (used_bin + 1) / 2);
187
188
189
190
191

      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
192
        data_size_t min_data_per_group = meta_->config->min_data_per_group;
193
194
195
196
197
198
199
200
201
202
203
204
205
        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
206
207
          if (left_count < meta_->config->min_data_in_leaf
              || sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) continue;
208
          data_size_t right_count = num_data - left_count;
Guolin Ke's avatar
Guolin Ke committed
209
          if (right_count < meta_->config->min_data_in_leaf || right_count < min_data_per_group) break;
210
211

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

          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
219
          double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
220
                                              meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
221
                                              min_constraint, max_constraint, 0);
222
223
224
225
226
227
228
229
230
231
          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
232
        }
233
234
      }
    }
235

236
    if (is_splittable_) {
Guolin Ke's avatar
Guolin Ke committed
237
      output->left_output = CalculateSplittedLeafOutput(best_sum_left_gradient, best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
238
                                                        meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
239
                                                        min_constraint, max_constraint);
240
241
242
243
      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
244
                                                         sum_hessian - best_sum_left_hessian,
Guolin Ke's avatar
Guolin Ke committed
245
                                                         meta_->config->lambda_l1, l2, meta_->config->max_delta_step,
246
                                                         min_constraint, max_constraint);
247
248
249
      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
250
      output->gain = best_gain - min_gain_shift;
251
252
253
      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
254
      } else {
255
256
257
258
259
260
261
262
263
264
265
266
        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
267
268
        }
      }
Guolin Ke's avatar
Guolin Ke committed
269
270
271
      output->monotone_type = 0;
      output->min_constraint = min_constraint;
      output->max_constraint = max_constraint;
272
    }
273
274
  }

275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
  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
290
291
292
                                         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;
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329

    // 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
    bool use_na_as_missing;
    bool skip_default_bin;
    if (meta_->missing_type == MissingType::Zero) {
      skip_default_bin = true;
      use_na_as_missing = false;
    } else {
      skip_default_bin = false;
      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
339
340
341
342
343
344
345

    // gain with split is worse than without split
    if (std::isnan(current_gain) || current_gain <= min_gain_shift) {
      output->gain = kMinScore;
      Log::Warning("Gain with forced split worse than without split");
      return;
    };

    // 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_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
392
393
                           meta_->config->lambda_l1, l2,
                           meta_->config->max_delta_step);
394
395
396
397
398
399
400
    if (std::isnan(current_gain) || current_gain <= min_gain_shift) {
      output->gain = kMinScore;
      Log::Warning("Gain with forced split worse than without split");
      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
456
  }

private:
Guolin Ke's avatar
Guolin Ke committed
457

Guolin Ke's avatar
Guolin Ke committed
458
459
  static double GetSplitGains(double sum_left_gradients, double sum_left_hessians,
                              double sum_right_gradients, double sum_right_hessians,
460
                              double l1, double l2, double max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
461
                              double min_constraint, double max_constraint, int8_t monotone_constraint) {
462
463
    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
464
465
466
467
468
469
470
471
    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
472
  /*!
473
  * \brief Calculate the output of a leaf based on regularized sum_gradients and sum_hessians
Guolin Ke's avatar
Guolin Ke committed
474
475
476
477
  * \param sum_gradients
  * \param sum_hessians
  * \return leaf output
  */
478
  static double CalculateSplittedLeafOutput(double sum_gradients, double sum_hessians, double l1, double l2, double max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
479
                                            double min_constraint, double max_constraint) {
480
    double ret = CalculateSplittedLeafOutput(sum_gradients, sum_hessians, l1, l2, max_delta_step);
Guolin Ke's avatar
Guolin Ke committed
481
482
483
484
485
486
    if (ret < min_constraint) {
      ret = min_constraint;
    } else if (ret > max_constraint) {
      ret = max_constraint;
    }
    return ret;
Guolin Ke's avatar
Guolin Ke committed
487
  }
Guolin Ke's avatar
Guolin Ke committed
488

Guolin Ke's avatar
Guolin Ke committed
489
490
491
492
493
494
  /*!
  * \brief Calculate the split gain based on regularized sum_gradients and sum_hessians
  * \param sum_gradients
  * \param sum_hessians
  * \return split gain
  */
495
496
497
  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
498
499
500
501
502
503
  }

  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
504

Guolin Ke's avatar
Guolin Ke committed
505
506
  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) {
Guolin Ke's avatar
Guolin Ke committed
507

508
    const int8_t bias = meta_->bias;
Guolin Ke's avatar
Guolin Ke committed
509
510
511
512
513
514
515
516
517
518
519
520
521

    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
522
      int t = meta_->num_bin - 1 - bias - use_na_as_missing;
Guolin Ke's avatar
Guolin Ke committed
523
524
525
526
527
528
529
530
531
532
533
534
      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
535
536
        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
537
538
        data_size_t left_count = num_data - right_count;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
539
        if (left_count < meta_->config->min_data_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
540
541
542

        double sum_left_hessian = sum_hessian - sum_right_hessian;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
543
        if (sum_left_hessian < meta_->config->min_sum_hessian_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
544
545
546

        double sum_left_gradient = sum_gradient - sum_right_gradient;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
547
        double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
548
                                            meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
549
                                            min_constraint, max_constraint, meta_->monotone_type);
Guolin Ke's avatar
Guolin Ke committed
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
        // 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
565
    } else {
Guolin Ke's avatar
Guolin Ke committed
566
567
568
569
570
571
572
      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
573
574
575
576
577
578
579
580
581
582
583
584
      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
585
586
587
588
      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
589
590
591
592
593
        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
594
        // if data not enough, or sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
595
596
        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
597
598
        data_size_t right_count = num_data - left_count;
        // if data not enough
Guolin Ke's avatar
Guolin Ke committed
599
        if (right_count < meta_->config->min_data_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
600
601
602

        double sum_right_hessian = sum_hessian - sum_left_hessian;
        // if sum hessian too small
Guolin Ke's avatar
Guolin Ke committed
603
        if (sum_right_hessian < meta_->config->min_sum_hessian_in_leaf) break;
Guolin Ke's avatar
Guolin Ke committed
604
605
606

        double sum_right_gradient = sum_gradient - sum_left_gradient;
        // current split gain
Guolin Ke's avatar
Guolin Ke committed
607
        double current_gain = GetSplitGains(sum_left_gradient, sum_left_hessian, sum_right_gradient, sum_right_hessian,
Guolin Ke's avatar
Guolin Ke committed
608
                                            meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
Guolin Ke's avatar
Guolin Ke committed
609
                                            min_constraint, max_constraint, meta_->monotone_type);
Guolin Ke's avatar
Guolin Ke committed
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
        // 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
630
                                                        meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
631
                                                        min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
632
633
634
635
636
      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
637
                                                         meta_->config->lambda_l1, meta_->config->lambda_l2, meta_->config->max_delta_step,
638
                                                         min_constraint, max_constraint);
Guolin Ke's avatar
Guolin Ke committed
639
640
641
642
      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
643
      output->default_left = dir == -1;
Guolin Ke's avatar
Guolin Ke committed
644
645
646
    }
  }

Guolin Ke's avatar
Guolin Ke committed
647
  const FeatureMetainfo* meta_;
Guolin Ke's avatar
Guolin Ke committed
648
  /*! \brief sum of gradient of each bin */
Guolin Ke's avatar
Guolin Ke committed
649
650
  HistogramBinEntry* data_;
  //std::vector<HistogramBinEntry> data_;
Guolin Ke's avatar
Guolin Ke committed
651
  bool is_splittable_ = true;
652

Guolin Ke's avatar
Guolin Ke committed
653
  std::function<void(double, double, data_size_t, double, double, SplitInfo*)> find_best_threshold_fun_;
Guolin Ke's avatar
Guolin Ke committed
654
};
Guolin Ke's avatar
Guolin Ke committed
655
656
657
658
659
660
class HistogramPool {
public:
  /*!
  * \brief Constructor
  */
  HistogramPool() {
Guolin Ke's avatar
Guolin Ke committed
661
662
    cache_size_ = 0;
    total_size_ = 0;
Guolin Ke's avatar
Guolin Ke committed
663
664
665
666
667
668
669
670
671
672
673
  }
  /*!
  * \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
674
  void Reset(int cache_size, int total_size) {
Guolin Ke's avatar
Guolin Ke committed
675
676
677
678
679
680
681
682
683
    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_) {
684
685
686
      mapper_.resize(total_size_);
      inverse_mapper_.resize(cache_size_);
      last_used_time_.resize(cache_size_);
Guolin Ke's avatar
Guolin Ke committed
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
      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
702
  void DynamicChangeSize(const Dataset* train_data, const Config* config, int cache_size, int total_size) {
Guolin Ke's avatar
Guolin Ke committed
703
    if (feature_metas_.empty()) {
Guolin Ke's avatar
Guolin Ke committed
704
705
706
707
      int num_feature = train_data->num_features();
      feature_metas_.resize(num_feature);
      #pragma omp parallel for schedule(static, 512) if(num_feature >= 1024)
      for (int i = 0; i < num_feature; ++i) {
Guolin Ke's avatar
Guolin Ke committed
708
        feature_metas_[i].num_bin = train_data->FeatureNumBin(i);
Guolin Ke's avatar
Guolin Ke committed
709
        feature_metas_[i].default_bin = train_data->FeatureBinMapper(i)->GetDefaultBin();
Guolin Ke's avatar
Guolin Ke committed
710
        feature_metas_[i].missing_type = train_data->FeatureBinMapper(i)->missing_type();
Guolin Ke's avatar
Guolin Ke committed
711
        feature_metas_[i].monotone_type = train_data->FeatureMonotone(i);
Guolin Ke's avatar
Guolin Ke committed
712
        feature_metas_[i].penalty = train_data->FeaturePenalte(i);
Guolin Ke's avatar
Guolin Ke committed
713
714
715
716
717
        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
718
        feature_metas_[i].config = config;
719
        feature_metas_[i].bin_type = train_data->FeatureBinMapper(i)->bin_type();
Guolin Ke's avatar
Guolin Ke committed
720
      }
Guolin Ke's avatar
Guolin Ke committed
721
    }
Guolin Ke's avatar
Guolin Ke committed
722
723
    uint64_t num_total_bin = train_data->NumTotalBin();
    Log::Info("Total Bins %d", num_total_bin);
Guolin Ke's avatar
Guolin Ke committed
724
    int old_cache_size = static_cast<int>(pool_.size());
Guolin Ke's avatar
Guolin Ke committed
725
    Reset(cache_size, total_size);
Guolin Ke's avatar
Guolin Ke committed
726
727
728
729
730
731

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

732
    OMP_INIT_EX();
Guolin Ke's avatar
Guolin Ke committed
733
    #pragma omp parallel for schedule(static)
Guolin Ke's avatar
Guolin Ke committed
734
    for (int i = old_cache_size; i < cache_size; ++i) {
735
      OMP_LOOP_EX_BEGIN();
Guolin Ke's avatar
Guolin Ke committed
736
737
738
739
740
      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));
741
        pool_[i][j].Init(data_[i].data() + offset, &feature_metas_[j]);
Guolin Ke's avatar
Guolin Ke committed
742
743
744
745
746
747
748
        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);
749
      OMP_LOOP_EX_END();
Guolin Ke's avatar
Guolin Ke committed
750
    }
751
    OMP_THROW_EX();
Guolin Ke's avatar
Guolin Ke committed
752
753
  }

Guolin Ke's avatar
Guolin Ke committed
754
  void ResetConfig(const Config* config) {
Guolin Ke's avatar
Guolin Ke committed
755
756
757
    int size = static_cast<int>(feature_metas_.size());
    #pragma omp parallel for schedule(static, 512) if(size >= 1024)
    for (int i = 0; i < size; ++i) {
Guolin Ke's avatar
Guolin Ke committed
758
      feature_metas_[i].config = config;
Guolin Ke's avatar
Guolin Ke committed
759
760
    }
  }
Guolin Ke's avatar
Guolin Ke committed
761
762
763
764
765
766
767
768
769
770
771
772
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
810
811
812
813
814
815
816
  /*!
  * \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 {
      // choose the least used slot 
      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;
  }
private:
  std::vector<std::unique_ptr<FeatureHistogram[]>> pool_;
Guolin Ke's avatar
Guolin Ke committed
817
818
  std::vector<std::vector<HistogramBinEntry>> data_;
  std::vector<FeatureMetainfo> feature_metas_;
Guolin Ke's avatar
Guolin Ke committed
819
820
821
822
823
824
825
826
827
  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
828
}  // namespace LightGBM
Guolin Ke's avatar
Guolin Ke committed
829
#endif   // LightGBM_TREELEARNER_FEATURE_HISTOGRAM_HPP_